Unicode normalization considerations

What is it?
Since 1.4, MediaWiki applies normalization form C to Unicode text input. There are good reasons to normalize:


 * Avoid conflicting page titles that have the same characters but different composition breakdown
 * A persistent problem was media files uploaded from Safari; the filenames and thus the page titles were in decomposed form, while most other tools provide text in composed form
 * Allow search to work as expected regardless of the composition form of text input

Form C was chosen because:


 * the vast majority of input data is already in form C, using precomposed characters
 * Form C is supposed to be relatively lossless, with the only changes being invisible transformations between base character + combining character sequences and precomposed chars. In theory text should never change appearance because it's been normalized to form C.
 * and further, the W3C recommends it

The problem
However as time has gone by there have been a few issues shown up.


 * some Arabic and Hebrew combining vowel markers sort incorrectly
 * Some of these are just buggy fonts or renderers and only affect some platforms.
 * A few cases however can produce actually incorrect text, because the defined classifications don't include enough distinctions to produce semantically correct ordering. This affects primarily older texts such as biblical hebrew.
 * a surprising composition exclusion in Bangla
 * The result doesn't render right with some tools, probably again a platform-specific bug
 * Some third-party search tools apparently don't know how to normalize and fail to locate texts so normalized.

The rendering and third-party search problems are annoying, though if we stay on our high horse we can try to ignore it and let the other parties fix their broken software over time.

The canonical ordering problems are a harder issue; you simply can't get these right by following the current specs. Unicode won't change the ordering definitions because it would break their compatibility rules, so unless they introduce *new* characters with the correct values... Well, it's not clear this is going to happen.

What can we do about it?
We can either ignore it and hope it goes away (easy, but entails dealing with ongoing complaints from particular linguistic groups), or we can give up on comprehensive normalization and change how we use it to maximize the benefits while minimizing the problems.

If we consider NFC to be destructive (though not as much as its evil little sister NFKC), one possible plan might look like this:


 * Remove the normalization check on all web input; replace it with a more limited check for UTF-8 validity but allow funny composition forms through as is.
 * Apply NFC directly in the places where it's most needed:
 * page title normalization in Title::secureAndSplit
 * search engine index generation
 * search engine queries

This is minimally invasive, allowing page text to contain arbitrary composition forms while ensuring that linking and internal search continue to work. It requires no database format changes, and could be switched on without service disruption.

However it does leave visible page titles in the normalized, potentially ugly or incorrect form.

Longer term
A further possibility would be to allow page titles to be displayed in non-normalized forms. This might be done in concert with allowing arbitrary case forms ('iMonkey' instead of 'IMonkey').

In this case the page table might be changed to include a display title form:

page_title:        'IMonkey' page_display_title: 'iMonkey'

or perhaps even scarier case-folded stuff:

page_title:        'imonkey' page_display_title: 'iMonkey'

The canonical and display titles would always be transformable to one another to maintain purity of wiki essence; you should be able to copy the title with your mouse and paste it into a link and expect it to work.

These kinds of changes could be more disruptive, requiring changes to the database structure and possibly massive swapping of data around in the tables from one form to another, so we might avoid it unless there are big benefits to be gained.

Other normalization forms
NFC was originally chosen because it's supposed to be semantically lossless, but experience has shown that that's not quite as true as we'd hoped.

We may then consider NFKC, the compatibility composition form, for at least some purposes. It's more explicitly lossy; the compatibility forms are recommended for performing searches since they fold additional characters such as plain latin and "full-width" latin letters.

It would likely be appropriate to use NFKC for building the search index and to run on search input to get some additional matches on funny stuff. I'm not sure if it's safe enough for page titles, though; perhaps with a display title, but probably not without.

Normalizaton and unicodification can both be done by bots. While no bot has been known yet "normailzie" the function is possible. The "Curpsbot-unicodify" bot has unicodified various articles on Wikipedia and this should not be undone.