Compatibility with MediaWiki 1.19 had already been dropped and this hadn't been removed yet. Change-Id: I63788ef1d4a6eb87e4280ea2625579a7874eaff8
Compatibility with MediaWiki 1.19 had already been dropped and this hadn't been removed yet. Change-Id: I63788ef1d4a6eb87e4280ea2625579a7874eaff8