From 93ed271272e7f39c4209818ed09a6fa14e3bc486 Mon Sep 17 00:00:00 2001 From: Michal Date: Wed, 15 Apr 2020 19:47:29 +0200 Subject: [PATCH] update php updated --- pages.pl/common/php.md | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) diff --git a/pages.pl/common/php.md b/pages.pl/common/php.md index 60e7fb329..84f19ba60 100644 --- a/pages.pl/common/php.md +++ b/pages.pl/common/php.md @@ -1,32 +1,32 @@ # php -> PHP command line interface. -> More information: . +> Interfejs wiersza poleceń PHP. +> Więcej informacji: . -- Parse and execute a php script: +- Parsuj i uruchom skrypt php: `php {{file}}` -- Check syntax on (i.e. lint) a PHP script: +- Sprawdź składnię skryptu PHP (np. lint): `php -l {{file}}` -- Run PHP interactively: +- Uruchom PHP interaktywnie: `php -a` -- Run PHP code (Notes: Don't use tags; escape double quotes with backslash): +- Uruchom kod PHP (uwagi: nie używaj znaczników ; unikaj podwójnych cudzysłowów z odwrotnym ukośnikiem): `php -r "{{code}}"` -- Start a PHP built-in web server in the current directory: +- uruchom wbudowany serwer PHP w bieżącym katalogu: `php -S {{host:port}}` -- Get a list of installed PHP extensions: +- Uzyskaj listę zainstalowanych rozszerzeń PHP `php -m` -- Display information about the current PHP configuration: +- Wyświetl informacje o bieżącej konfiguracji PHP: `php -i`