convertExtensionToRegistration: Add --skin option
authorKunal Mehta <legoktm@gmail.com>
Thu, 29 Jan 2015 20:24:49 +0000 (12:24 -0800)
committerKunal Mehta <legoktm@gmail.com>
Thu, 29 Jan 2015 20:24:49 +0000 (12:24 -0800)
commit89c3ef0baf50e82a93e9367dcd2ac2b3b4ea8102
tree01017f07defaa86391cbcacc99be5f01f76a2747
parent61c7f651649c4a0c4f1339e0d4915535179c76d0
convertExtensionToRegistration: Add --skin option

To write to skin.json instead of extension.json

Change-Id: I0e7dfbd871b7f80958fe7033d4595a205bb34293
maintenance/convertExtensionToRegistration.php