From: jenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Date: Thu, 19 Sep 2019 08:19:53 +0000 (+0000)
Subject: Merge "generatePhpCharToUpperMappings: Die if fopen fails"
X-Git-Tag: 1.34.0-rc.0~157
X-Git-Url: https://git.heureux-cyclage.org/?p=lhc%2Fweb%2Fwiklou.git;a=commitdiff_plain;h=9d31e46d0f4dc6d68ad38b09816bea2b447f8b50;hp=d5a1d11036395352a6333e8a22f34003ce8c68f4

Merge "generatePhpCharToUpperMappings: Die if fopen fails"
---

diff --git a/maintenance/mediawiki.Title/generatePhpCharToUpperMappings.php b/maintenance/mediawiki.Title/generatePhpCharToUpperMappings.php
index e1a50ea881..9fc5513e37 100755
--- a/maintenance/mediawiki.Title/generatePhpCharToUpperMappings.php
+++ b/maintenance/mediawiki.Title/generatePhpCharToUpperMappings.php
@@ -82,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" );