Does MediaWiki have a built-in way to allow the user to open a page in the browser by specifying its ID instead of its title? E.g. http://server/wiki/index.php?id=3829