Page MenuHomePhabricator

Remove MediaWiki:edittools and update charinsert extension to use JS generated inserter
Open, Needs TriagePublic

Description

So.. MediaWiki:Edittools is VERY old. By default you need to copy paste characters.. Nobody likes doing that and it's actually easier to do via most operating systems these days in that case.
It also adds quite some bytes to the page T13130: Provide a preference to disable the CharInsert tool, to save users' bandwidth.

I think it is time to let go of it.... I think we should:

  • remove the default copy pasteable chars from core
  • adapt charinsert extension to dynamically generate them from mediawiki.language/specialcharacters.json
  • add sections and dropdown selector like most wikis actually employ
  • add localstorage for dropdown like many wikis employ
  • make the toc and sections for characters configurable via json messages

Event Timeline

TheDJ created this task.Nov 27 2018, 11:22 PM
Restricted Application added a subscriber: Aklapper. · View Herald TranscriptNov 27 2018, 11:22 PM

I'm wondering: The WikiEditor toolbar already has a way to input special characters quite similar to the above proposal. So implementing this would mean that by default there would be two special character inputs with the same characters, but slightly different behavior. While this already is the case in some wikis, I don't think this is a good idea (and I'm quite sure that some of the wikis that currently add there own special character input will not remove them, so these wikis might have three more or less identical inputs in the end).

Or is the plan to disable the CharInsert extension by default? That way, it would just be an alternative to WikiEditor, and not a duplicate.

gh87 added a subscriber: gh87.Nov 30 2018, 9:09 AM

Don't you think this would affect users who have disabled the improved (2010) toolbars, which can load more slowly than without the toolbar? What about other non-Wikipedia wikis dependent on its local Edittoolbars, like Edittools from en-wikinews and its Javascript code?

TheDJ added a comment.Nov 30 2018, 6:25 PM

@gh87 are you replying to me or to schnark ?

gh87 added a comment.EditedNov 30 2018, 7:01 PM

That was toward those interested in this task, including you. Almost forgot: the Edittools at en-Wikinews has not been properly working.

Of course users that have WikiEditor disabled would benefit, but I was talking about the default behavior (and always keep in mind: users with non-default settings are a small minority), where I do not think two very similar ways to insert special characters make sense.

That's also why I asked whether the plan is to disable CharInsert by default, to allow users who disabled WikiEditor to enable it, but not force it on other users who have WikiEditor enabled by default and thus have the special characters anyway.