Last modified: 2011-08-23 18:33:28 UTC
Created attachment 8784 [details] Patch extensions/TitleKey/TitleKey_body.php It needs to use DatabaseUpdater#output(). Patch attached.
Thank you for contributing a patch to MediaWiki, however it would appear that a developer has fixed this particular issue in r94419. If you feel that this doesn't solve the issue, please reopen the bug. However, for future reference it's best not to explicitly do checks to work with older versions. If a person needs a copy of an extension to work with their version of MediaWiki we have snapshots available to download though ExtensionDistributor http://www.mediawiki.org/wiki/Extension:ExtensionDistributor