Last modified: 2011-09-10 00:46:19 UTC
The following wikitext should be shortend in the output by removing the duplicate part from class from: <div class="foo bar foo">div</div> to: <div class="foo bar">div</div> This is in addition to r96170, which implement this for the HTML helper function in MediaWiki. Maybe it is possible to move parts of that to the Sanitizer class. Thanks.
Is this worth the bother? What benefit do we get?
(In reply to comment #1) > Is this worth the bother? What benefit do we get? Only for nice html. htmltidy is not doing this. I do not know, why that is in the HTML helper function of MediaWiki. Make it WONTFIX, if you think, that this is not needed.