X-Git-Url: https://git.heureux-cyclage.org/?p=lhc%2Fweb%2Fwiklou.git;a=blobdiff_plain;f=maintenance%2Fmediawiki.Title%2FgeneratePhpCharToUpperMappings.php;h=9fc5513e3746f2307a0546ecaab84eab58097415;hp=5dd9432862306470b542ddf416348d5198fbda77;hb=8c30c3704fa144f6d09cd27b127cef507d59d753;hpb=ab3f30ce1534327204d147603c5237d34b699170 diff --git a/maintenance/mediawiki.Title/generatePhpCharToUpperMappings.php b/maintenance/mediawiki.Title/generatePhpCharToUpperMappings.php index 5dd9432862..9fc5513e37 100755 --- a/maintenance/mediawiki.Title/generatePhpCharToUpperMappings.php +++ b/maintenance/mediawiki.Title/generatePhpCharToUpperMappings.php @@ -67,7 +67,13 @@ class GeneratePhpCharToUpperMappings extends Maintenance { $phpUpper = $wgContLang->ucfirst( $char ); $jsUpper = $jsUpperChars[$i]; if ( $jsUpper !== $phpUpper ) { - $data[$char] = $phpUpper; + if ( $char === $phpUpper ) { + // Optimisation: Use the empty string to signal "leave character unchanged". + // Reduces the transfer size by ~50%. Reduces browser memory cost as well. + $data[$char] = ''; + } else { + $data[$char] = $phpUpper; + } } } @@ -76,6 +82,9 @@ class GeneratePhpCharToUpperMappings extends Maintenance { ) . "\n"; $outputPath = '/resources/src/mediawiki.Title/phpCharToUpper.json'; $file = fopen( $IP . $outputPath, 'w' ); + if ( !$file ) { + $this->fatalError( "Unable to write file \"$IP$outputPath\"" ); + } fwrite( $file, $mappingJson ); $this->output( count( $data ) . " differences found.\n" );