Last modified: 2012-01-30 15:38:29 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 T18935, the corresponding Phabricator task for complete and up-to-date bug report information.
Bug 16935 - Diff highlights space after punctuation mark but deleted space was before punctuation
Diff highlights space after punctuation mark but deleted space was before pun...
Status: RESOLVED FIXED
Product: MediaWiki extensions
Classification: Unclassified
wikidiff2 (Other open bugs)
unspecified
All All
: Low minor (vote)
: ---
Assigned To: Nobody - You can work on this!
http://fr.wikipedia.org/w/index.php?t...
:
Depends on:
Blocks:
  Show dependency treegraph
 
Reported: 2009-01-08 07:13 UTC by Cœur
Modified: 2012-01-30 15:38 UTC (History)
7 users (show)

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


Attachments

Description Cœur 2009-01-08 07:13:39 UTC
I changed something...

From:
]] ''',''' [[

To:
]], [[

This means that the space BEFORE the comma was removed. But as you can see in the diff from the link, it's the space AFTER the comma that was highlighted in green.
Comment 1 Sumana Harihareswara 2011-10-07 20:25:26 UTC
Still happening in 1.18.
Comment 2 Max Semenik 2011-10-07 20:28:07 UTC
Related to diff engine, not parser.
Comment 3 Nemo 2012-01-22 18:50:01 UTC
I don't see the error here.
Comment 4 Mark A. Hershberger 2012-01-30 15:37:16 UTC
wikidiff has since been upgraded

Note You need to log in before you can comment on or make changes to this bug.


Navigation
Links