Bug 1496616: Show the right script name in cli.php help text

behatnotneeded: Can't behat test CLI scripts

Change-Id: Ic83251491c745bb4375d40510139365a5e004800

htdocs/lib/cli.php

@@ -426,7 +426,8 @@ class cli {
      */
     public function cli_print_help($exitcode = 0) {
         // Display usage information
-        printf ("Usage: %s ", basename(__FILE__));
+        global $argv;
+        printf ("Usage: %s ", basename($argv[0]));
 
         $options = array();
         foreach ($this->settings->options as $option => $settings) {