[Mediawiki-l] Re: diff3 glitch