Manual:GenerateUtf8Case.php

From mediawiki.org
MediaWiki version:
1.26

Details

generateUtf8Case.php file is a maintenance script to generate Utf8Case.ser from the Unicode Character Database and supplementary files.

See also