Can you exclude comments when doing a replace like this? Although this is not wrong, the comment is now stating the obvious rather then being helpful :)
r1=75871&r2=76192&pathrev=76192 http://svn.wikimedia.org/viewvc/mediawiki/trunk/extensions/SemanticMediaWiki/compat/Html.php?r1=75871&r2=76192&pathrev=76192
... http://is.gd/gOg40
Unfortunately, I only saw this now, but this looks like another candidate for a mass revert. It broke backward compatibility with MediaWiki 1.15, which, as was discussed before, is too early to do; and, as Jeroen noted above, it also pointlessly modified some comments. It would be great if you could revert it, but if not, I plan to revert it tomorrow, unless anyone has a good reason not to.
Back compatability sucks, Added ~4000 revs after 1.15 branching by Aryeh.
Will revert soon.
Thank you.