From 76972de9cae354312df756de566e28f260c383ec Mon Sep 17 00:00:00 2001 From: Kunal Mehta Date: Mon, 26 Jan 2015 15:02:03 -0800 Subject: [PATCH] convertExtensionToRegistration: Document parameters Bug: T87620 Change-Id: I0326632c24bf429cd09f4e51f6e6990536d6c76f --- maintenance/convertExtensionToRegistration.php | 1 + 1 file changed, 1 insertion(+) diff --git a/maintenance/convertExtensionToRegistration.php b/maintenance/convertExtensionToRegistration.php index ed00b98dba..9437ee3033 100644 --- a/maintenance/convertExtensionToRegistration.php +++ b/maintenance/convertExtensionToRegistration.php @@ -36,6 +36,7 @@ class ConvertExtensionToRegistration extends Maintenance { public function __construct() { parent::__construct(); $this->mDescription = 'Converts extension entry points to the new JSON registration format'; + $this->addArg( 'path', 'Location to the PHP entry point you wish to convert', /* $required = */ true ); } protected function getAllGlobals() { -- 2.20.1