convertExtensionToRegistration: Still convert $wgTrackingCategories
authorKunal Mehta <legoktm@gmail.com>
Thu, 29 Jan 2015 23:21:14 +0000 (15:21 -0800)
committerKunal Mehta <legoktm@gmail.com>
Thu, 29 Jan 2015 23:21:14 +0000 (15:21 -0800)
commit024ad10b454175e5fc9462c7f87c988d4cce0eaf
treee3fdcab8dd91b19d08366cbbf7a2351092baaba6
parent7413183dbc84d525a90484ec6670a8ff1bb64e3f
convertExtensionToRegistration: Still convert $wgTrackingCategories

It's an attribute now rather than a global, but we still want
to convert it.

This follows up 247ecab445dcfe.

Change-Id: Ibb61b1689e3e6b454d7bf2f300ab465e30ca774a
maintenance/convertExtensionToRegistration.php