Changing extension initialization to MediaWiki habits