MediaWiki extension allowing default link namespaces to be changed