Last modified: 2011-09-10 00:46:19 UTC

Wikimedia Bugzilla is closed!

Wikimedia migrated from Bugzilla to Phabricator. Bug reports are handled in Wikimedia Phabricator.
This static website is read-only and for historical purposes. It is not possible to log in and except for displaying bug reports and their history, links might be broken. See T32732, the corresponding Phabricator task for complete and up-to-date bug report information.

Bug 30732 - remove duplicate space-separated attribute values from wikitext


Summary:	remove duplicate space-separated attribute values from wikitext

Status:	NEW

Product:	MediaWiki
Classification:	Unclassified
Component:	Parser (Other open bugs)
Version:	1.20.x
Hardware:	All All

Importance:	Lowest normal (vote)
Target Milestone:	---
Assigned To:	Nobody - You can work on this!

URL:
Whiteboard:
Keywords:

Depends on:
Blocks:
	Show dependency tree / graph

Reported:	2011-09-03 15:38 UTC by Umherirrender
Modified:	2011-09-10 00:46 UTC (History)
CC List:	1 user (show)

See Also:
Web browser:	---
Mobile Platform:	---
Assignee Huggle Beta Tester:	---

Attachments
Add an attachment (proposed patch, testcase, etc.)

Description Umherirrender 2011-09-03 15:38:46 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.

Comment 1 Brion Vibber 2011-09-06 18:31:23 UTC

Is this worth the bother? What benefit do we get?

Comment 2 Umherirrender 2011-09-09 22:03:44 UTC

(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.

Wikimedia Bugzilla is closed!

Search

Personal tools

Navigation

Links