Adding PHP sample file for completeness

This commit is contained in:
Arfon Smith
2015-07-04 06:01:06 +01:00
parent 6c45e5ec19
commit 8f651bca03

6
samples/PHP/root.php Normal file
View File

@@ -0,0 +1,6 @@
<?php
////////////////////////////////////
// I am not Isabelle ROOT //
////////////////////////////////////
?>