From ab3f30ce1534327204d147603c5237d34b699170 Mon Sep 17 00:00:00 2001 From: Ed Sanders Date: Wed, 10 Apr 2019 15:35:18 +0100 Subject: [PATCH] generatePhpCharToUpperMappings.php: Write output directly to json file Change-Id: Ic19e5c9899f19d9b6ebf4a65a81100670514aa14 --- .../generatePhpCharToUpperMappings.php | 16 ++++++++++++---- 1 file changed, 12 insertions(+), 4 deletions(-) diff --git a/maintenance/mediawiki.Title/generatePhpCharToUpperMappings.php b/maintenance/mediawiki.Title/generatePhpCharToUpperMappings.php index 8073c7c129..5dd9432862 100755 --- a/maintenance/mediawiki.Title/generatePhpCharToUpperMappings.php +++ b/maintenance/mediawiki.Title/generatePhpCharToUpperMappings.php @@ -40,11 +40,13 @@ class GeneratePhpCharToUpperMappings extends Maintenance { } public function execute() { - global $wgContLang; + global $wgContLang, $IP; $data = []; - $result = Shell::command( [ 'node', __DIR__ . '/generateJsToUpperCaseList.js' ] ) + $result = Shell::command( + [ 'node', $IP . '/maintenance/mediawiki.Title/generateJsToUpperCaseList.js' ] + ) // Node allocates lots of memory ->limits( [ 'memory' => 1024 * 1024 ] ) ->execute(); @@ -69,9 +71,15 @@ class GeneratePhpCharToUpperMappings extends Maintenance { } } - $this->output( str_replace( ' ', "\t", + $mappingJson = str_replace( ' ', "\t", json_encode( $data, JSON_PRETTY_PRINT | JSON_UNESCAPED_UNICODE ) - ) . "\n" ); + ) . "\n"; + $outputPath = '/resources/src/mediawiki.Title/phpCharToUpper.json'; + $file = fopen( $IP . $outputPath, 'w' ); + fwrite( $file, $mappingJson ); + + $this->output( count( $data ) . " differences found.\n" ); + $this->output( "Written to $outputPath\n" ); } } -- 2.20.1