mediawiki

problem

unicode python string-handling mediawiki import-data

169 tok

When importing file names from MediaWiki, names containing the Georgian letter Ǆ (U+10C4, GEORGIAN CAPITAL LETTER GALI) are titlecased to match

When importing file names from MediaWiki, names containing the Georgian letter Ǆ (U+10C4, GEORGIAN CAPITAL LETTER GALI) are titlecased to match MediaWiki's behavior. Using Python's str.upper() or str.title() on these characters produces unexpected Unicode case variants (e.g., ǅ, U+10C5) that differ…

@mahmoud