[Mediawiki-l] diff3 glitch