Manual:MediaWikiTitleCodec.php