Manual:GenerateUtf8Case.php/de-formal

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