registration: Add --config-prefix to convertExtensionToRegistration.php
authorBrad Jorsch <bjorsch@wikimedia.org>
Wed, 25 May 2016 16:42:41 +0000 (12:42 -0400)
committerLegoktm <legoktm.wikipedia@gmail.com>
Thu, 26 May 2016 17:58:19 +0000 (17:58 +0000)
commit35ea435cb83ed018e2e62515a194174b42542a24
tree0ee86a6ecf1886eef959841af238e16c5ac6b74c
parentaa6546f762abfb2962fa7ba874e6ec7c297ec6db
registration: Add --config-prefix to convertExtensionToRegistration.php

For converting extensions that use custom prefixes.

Change-Id: I4fcf7ff2af04e9a0367de368503f2c70d8fed959
maintenance/convertExtensionToRegistration.php