name: php-7.2.0

language: PHP 7.2

version: 7.2.0

display-compile-command: php prog.php

display-name: PHP

source code:

stdin:

Save