On 01/12/2013 04:33 PM, Matthew Flaschen wrote:
That will cause problems throughout wikidom.
Yes, if the issue was ignored. However, I believe a bot could do the one-time conversion.
This solution is just as good as ignoring the problem for non-WMF users of MediaWiki.
A solution can probably involve tools, but making them happen in, say, update.php will ensure that they happen for other users, too.
Of course, then we need to have users prepared for these sorts of changes so they don't go in and "fix" what was changed in the update.