From fad4cbfaffc4b06554836fc662d1ea6456c2d1f0 Mon Sep 17 00:00:00 2001 From: Michal Date: Wed, 15 Apr 2020 18:11:52 +0200 Subject: [PATCH] create php.md initial --- pages.pl/common/php.md | 32 ++++++++++++++++++++++++++++++++ 1 file changed, 32 insertions(+) create mode 100644 pages.pl/common/php.md 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`