Thijs/wiki.techinc.nl
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Merge "generatePhpCharToUpperMappings: avoid fetching service in loop"

Browse source
This commit is contained in:
jenkins-bot 2022-12-21 08:02:02 +00:00 committed by Gerrit Code Review
commit bb95e89c23
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
maintenance/mediawiki.Title/generatePhpCharToUpperMappings.php
View file

@ -60,13 +60,14 @@ class GeneratePhpCharToUpperMappings extends Maintenance {
$jsUpperChars = json_decode( $result->getStdout() ); $jsUpperChars = json_decode( $result->getStdout() );
'@phan-var string[] $jsUpperChars'; '@phan-var string[] $jsUpperChars';
$contentLanguage = MediaWikiServices::getInstance()->getContentLanguage();
for ( $i = 0; $i <= 0x10ffff; $i++ ) { for ( $i = 0; $i <= 0x10ffff; $i++ ) {
if ( $i >= 0xd800 && $i <= 0xdfff ) { if ( $i >= 0xd800 && $i <= 0xdfff ) {
// Skip surrogate pairs // Skip surrogate pairs
continue; continue;
} }
$char = \UtfNormal\Utils::codepointToUtf8( $i ); $char = \UtfNormal\Utils::codepointToUtf8( $i );
$phpUpper = MediaWikiServices::getInstance()->getContentLanguage()->ucfirst( $char ); $phpUpper = $contentLanguage->ucfirst( $char );
$jsUpper = $jsUpperChars[$i]; $jsUpper = $jsUpperChars[$i];
if ( $jsUpper !== $phpUpper ) { if ( $jsUpper !== $phpUpper ) {
if ( $char === $phpUpper ) { if ( $char === $phpUpper ) {