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 _______________________________________________ Wikitech-l mailing list Wikitech-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikitech-l