Fixes configuration sent to frontend & interpretor
Merge branch 'optionable-php-platform'