diff --git a/pages.pl/common/php.md b/pages.pl/common/php.md new file mode 100644 index 0000000000..60e7fb3290 --- /dev/null +++ b/pages.pl/common/php.md @@ -0,0 +1,32 @@ +# php + +> PHP command line interface. +> More information: . + +- Parse and execute a php script: + +`php {{file}}` + +- Check syntax on (i.e. lint) a PHP script: + +`php -l {{file}}` + +- Run PHP interactively: + +`php -a` + +- Run PHP code (Notes: Don't use tags; escape double quotes with backslash): + +`php -r "{{code}}"` + +- Start a PHP built-in web server in the current directory: + +`php -S {{host:port}}` + +- Get a list of installed PHP extensions: + +`php -m` + +- Display information about the current PHP configuration: + +`php -i`