https://bugzilla.wikimedia.org/show_bug.cgi?id=54309
Michael M. <[email protected]> changed: What |Removed |Added ---------------------------------------------------------------------------- Component|CharInsert |Page editing Product|MediaWiki extensions |MediaWiki --- Comment #10 from Michael M. <[email protected]> --- Sorry for moving again, the special characters *are* managed by that extension, but their position is determined in core (showEditTools() in EditPage.php) nevertheless. IMHO the edit tools should just be swapped with showTosSummary(), but I'm not going to start a bikeshed about THE right position of the edit tools. -- 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 [email protected] https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
