Searched refs:cmd (Results 1 – 1 of 1) sorted by relevance
6 $cmd = array_shift($_SERVER['argv']); variable9 echo "Use: $cmd /path/to/php-5.4.16/NEWS 5.4.16 [path/to/ChangeLog.php]\n";
Completed in 4 milliseconds