From 27c5b8d909bc74d9b24deff5da4b11d33c5e0ed0 Mon Sep 17 00:00:00 2001
From: Tim Starling <tstarling@users.mediawiki.org>
Date: Sun, 23 Oct 2005 13:30:55 +0000
Subject: [PATCH] Second attempt at fixing unicode case folding

---
 maintenance/dumpHTML.inc | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/maintenance/dumpHTML.inc b/maintenance/dumpHTML.inc
index decd2786db..ec9f7101a4 100644
--- a/maintenance/dumpHTML.inc
+++ b/maintenance/dumpHTML.inc
@@ -559,12 +559,17 @@ ENDTEXT;
 	}
 
 	function getFriendlyName( $name ) {
+		global $wgLang;
 		# Replace illegal characters for Windows paths with underscores
 		$friendlyName = strtr( $name, '/\\*?"<>|~', '_________' );
 
 		# Work out lower case form. We assume we're on a system with case-insensitive
 		# filenames, so unless the case is of a special form, we have to disambiguate
-		$lowerCase = ucfirst( strtolower( $name ) );
+		if ( function_exists( 'mb_strtolower' ) ) {
+			$lowerCase = $wgLang->ucfirst( mb_strtolower( $name ) );
+		} else {
+			$lowerCase = ucfirst( strtolower( $name ) );
+		}
 
 		# Make it mostly unique
 		if ( $lowerCase != $friendlyName  ) {
-- 
2.20.1