From: Kunal Mehta <legoktm@gmail.com>
Date: Thu, 29 Jan 2015 20:24:49 +0000 (-0800)
Subject: convertExtensionToRegistration: Add --skin option
X-Git-Tag: 1.31.0-rc.0~12551^2
X-Git-Url: http://git.cyclocoop.org///%22%40url%40//%22?a=commitdiff_plain;h=89c3ef0baf50e82a93e9367dcd2ac2b3b4ea8102;p=lhc%2Fweb%2Fwiklou.git

convertExtensionToRegistration: Add --skin option

To write to skin.json instead of extension.json

Change-Id: I0e7dfbd871b7f80958fe7033d4595a205bb34293
---

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" );