https://bugzilla.wikimedia.org/show_bug.cgi?id=16900
Amir E. Aharoni <amir.ahar...@mail.huji.ac.il> changed:
What |Removed |Added
----------------------------------------------------------------------------
Priority|Normal |Low
Severity|normal |minor
--- Comment #5 from Amir E. Aharoni <amir.ahar...@mail.huji.ac.il> 2011-09-10
22:26:09 UTC ---
Yes, it still remains. It is not very important, however, because the
WikiEditor toolbar inserts these characters properly.
Now that i know the code better, i can try looking at this bug myself, but
maybe this extension can just be retired...
--
Configure bugmail: https://bugzilla.wikimedia.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.
You are on the CC list for the bug.
_______________________________________________
Wikibugs-l mailing list
Wikibugs-l@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
