Wikidata namespace manager, merged into MediaWiki 1.8pre