"Tim Starling" tstarling@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)