Make it possible for extensions to specify which version of MediaWiki