| Danny_B | |
| Jul 22 2010, 10:11 AM |
| F6634: patch1.diff | |
| Nov 21 2014, 11:02 PM |
Since there is no wikitext markup for indentation, but <dd> of <dl> is being hugely abused instead (see bug 4521), the "Indentation" button - which does not insert indentation but definition - should be removed from edit toolbar until proper solution for indentation is implemented.
Version: unspecified
Severity: minor
mhershberger wrote:
Unassigning default assignments. http://article.gmane.org/gmane.science.linguistics.wikipedia.technical/54734
Change 93665 had a related patch set uploaded by 01tonythomas:
Removed the indentation button from the WikiEditor toolbar.
Change 94500 had a related patch set uploaded by Tinaj1234:
Removed indentation button from WikiEditor toolbar.
Created attachment 13752
Removed indentation button from WikiEditor toolbar.
Attached:
Change 102101 had a related patch set uploaded by Tinaj1234:
Removed indentation button from WikiEditor extension
Change 102101 abandoned by Tinaj1234:
Removed indentation button from WikiEditor extension
Reason:
This change previously exists. A patch was submitted earlier.
https://gerrit.wikimedia.org/r/#/c/94500/
Change 93665 abandoned by Tinaj1234:
Removed the indentation button from the WikiEditor toolbar.
Reason:
A patch with all required changes exists.
https://gerrit.wikimedia.org/r/#/c/94500/
Change 94500 merged by jenkins-bot:
Removed indentation button from WikiEditor toolbar.
Assuming this bug is FIXED as all patches were merged (or abandoned).
If that is not the case: Please reopen and elaborate what is left to do here to get this report fixed.