diff options
Diffstat (limited to 'shell/bin/php.php')
| -rw-r--r-- | shell/bin/php.php | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/shell/bin/php.php b/shell/bin/php.php new file mode 100644 index 0000000..0e3ba38 --- /dev/null +++ b/shell/bin/php.php @@ -0,0 +1,9 @@ +<?php
+class p_php extends prog {
+ public static function main($args, $env) {
+ $me = array_shift($args);
+ foreach ($args as $file) {
+ include($file);
+ }
+ }
+}
|