Jump to content

Manual:generateUtf8Case.php

From mediawiki.org
MediaWiki version:
1.26

Details

[edit]

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

See also

[edit]