wikimedia/mediawiki-extensions-MediaWikiAuth — pull request #2 by zaori (2013-12-10 20:57:08+00:00)
Title: Add a check if the extension that the patch is for is even enabled

Note that I don't know if this actually works or not. I think it does - I managed to create a Zombiebaron, but Nerd42 had an issue that may indicate failure (or maybe not), so... eh.