name: php-7.1.15
language: PHP 7.1
version: 7.1.15
display-compile-command: php prog.php
display-name: PHP
source code:
stdin:
Save