From 89c3ef0baf50e82a93e9367dcd2ac2b3b4ea8102 Mon Sep 17 00:00:00 2001 From: Kunal Mehta Date: Thu, 29 Jan 2015 12:24:49 -0800 Subject: [PATCH] convertExtensionToRegistration: Add --skin option To write to skin.json instead of extension.json Change-Id: I0e7dfbd871b7f80958fe7033d4595a205bb34293 --- maintenance/convertExtensionToRegistration.php | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/maintenance/convertExtensionToRegistration.php b/maintenance/convertExtensionToRegistration.php index 9437ee3033..a0dee3cc24 100644 --- a/maintenance/convertExtensionToRegistration.php +++ b/maintenance/convertExtensionToRegistration.php @@ -37,6 +37,7 @@ class ConvertExtensionToRegistration extends Maintenance { 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 ); + $this->addOption( 'skin', 'Whether to write to skin.json', false, false ); } protected function getAllGlobals() { @@ -87,7 +88,8 @@ class ConvertExtensionToRegistration extends Maintenance { } $out += $this->json; - $fname = "{$this->dir}/extension.json"; + $type = $this->hasOption( 'skin' ) ? 'skin' : 'extension'; + $fname = "{$this->dir}/$type.json"; $prettyJSON = FormatJson::encode( $out, "\t", FormatJson::ALL_OK ); file_put_contents( $fname, $prettyJSON . "\n" ); $this->output( "Wrote output to $fname.\n" ); -- 2.20.1