wikimedia/mediawiki-extensions-MediaWikiAuth — pull request #3 by zaori (2013-12-10 21:01:01+00:00)
Title: Add check to added stuff if the rest of the extension is enabled/install...

...ed.

Try this again?

Note: May not work. Probably does. I don't know.