"Tim Starling" <tstarling(a)wikimedia.org> wrote in
message news:enlnmo$69l$1@sea.gmane.org...
* During upgrade, delete all pages in the MediaWiki
namespace which were
last modified by "MediaWiki default".
Perhaps a second check if it wasn't, to see if the contents are identical to
the expected contents. I'm sure there are lots of cases where a message was
changed and subsequently reverted, or where spelling errors were fixed
locally before upgrading to a version where they were fixed by default.
- Mark Clements (HappyDog)