Manual:generateUtf8Case.php

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