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