From dd695b4fc181ef3c0c742747dded395ecde632dd Mon Sep 17 00:00:00 2001 From: Michal Date: Thu, 16 Apr 2020 00:37:09 +0200 Subject: [PATCH] update php updated --- pages.pl/common/php.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/pages.pl/common/php.md b/pages.pl/common/php.md index 84f19ba60..4efcc455d 100644 --- a/pages.pl/common/php.md +++ b/pages.pl/common/php.md @@ -5,11 +5,11 @@ - Parsuj i uruchom skrypt php: -`php {{file}}` +`php {{plik}}` - Sprawdź składnię skryptu PHP (np. lint): -`php -l {{file}}` +`php -l {{plik}}` - Uruchom PHP interaktywnie: @@ -17,7 +17,7 @@ - Uruchom kod PHP (uwagi: nie używaj znaczników ; unikaj podwójnych cudzysłowów z odwrotnym ukośnikiem): -`php -r "{{code}}"` +`php -r "{{kod}}"` - uruchom wbudowany serwer PHP w bieżącym katalogu: