https://bugzilla.wikimedia.org/show_bug.cgi?id=50296
--- Comment #9 from Derk-Jan Hartman <[email protected]> --- BTW, if we ever do get another symbol picker, please make it share it's table with WikiEditor, limiting the places where we need to maintain these chars. (We already have 3 [WikiEditor extension, MediaWiki:Edittools, MediaWiki:Edittools.js]) -- You are receiving this mail because: You are on the CC list for the bug. _______________________________________________ Wikibugs-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
