MediaWiki extension for Numeric URLs