Manual:MediaWikiPageNameNormalizer.php