diff --git a/language/predefined/variables/argc.xml b/language/predefined/variables/argc.xml index 0ed130935a..a137a447c4 100644 --- a/language/predefined/variables/argc.xml +++ b/language/predefined/variables/argc.xml @@ -51,6 +51,25 @@ int(4) + + + &reftitle.notes; + + + This is also available as $_SERVER['argc']. + + + + + + &reftitle.seealso; + + + getopt + $argv + + + diff --git a/language/predefined/variables/argv.xml b/language/predefined/variables/argv.xml index 0d61cbd9c6..9b9fa64652 100644 --- a/language/predefined/variables/argv.xml +++ b/language/predefined/variables/argv.xml @@ -60,12 +60,22 @@ array(4) { - + + + &reftitle.notes; + + + This is also available as $_SERVER['argv']. + + + + &reftitle.seealso; getopt + $argc