On 01/12/2013 06:40 PM, Mark A. Hershberger wrote:
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.
I agree that could be better, as long as people are aware update.php would be modifying wiki-specific pages in the MW namespace (I'm not sure how common that is).
Matt Flaschen