Page MenuHomePhabricator

Spike: Migrate Wikisource specific edit tools from gadgets to Wikisource extension
Closed, ResolvedPublic

Description

NOTE: This should maybe be taken on after talking to the community & seeing which gadgets need to be moved to Wikisource extension.

As a Wikisource user, I want the team to investigate the "Migrate Wikisource specific edit tools from gadgets to Wikisource extension" wish, so they can consider the various options and risks of the wish.

Background: In the 2020 Community Wishlist Survey, the #3 wish was "Migrate Wikisource specific edit tools from gadgets to Wikisource extension."

Relevant Resources:

Acceptance Criteria:

  • Review the 2020 wish & any other relevant materials
  • Investigate various options outlined in the All Hands brainstorms doc
  • Provide an analysis of potential risks associated with this project from a technical perspective
  • Provide an analysis of potential dependencies associated with this project from a technical perspective
  • Provide a proposal for implementation
  • Provide a rough estimate/sense of difficulty or effort required by this project

Event Timeline

ifried renamed this task from Spike: Migrate Wikisource specific edit tools from gadgets to Wikisource extension [placeholder] to Spike: Migrate Wikisource specific edit tools from gadgets to Wikisource extension.Feb 4 2020, 1:29 AM
ifried updated the task description. (Show Details)

Some potential gadgets, based on a conversation with @SGill:

  • CharInsert (standardization of markup options at top)
  • Formatting buttons, such as "center" (sometimes, each button is a specific gadget; other times, buttons are generated via script)
  • Clean Up (found under 'TemplateScript --> this is a script, not a gadget), which helps clean up formatting
  • Easy LST (you don't have to click on edit/next repeatedly).
ifried added a subscriber: Samwilson.

Some more potential gadgets, mentioned by @Samwilson:

  • mark
  • no-op inserter

Note that the CharInsert gadget (e.g. https://en.wikisource.org/wiki/MediaWiki:Gadget-charinsert-core.js ) is a bit confusing: there is a CharInsert extension already installed, but it's insert definitions (which live in the edittools system message) are no longer used, and instead the gadget adds its own. I'm not really familiar with all the history here, but it seems like there have been various ideas to make it easier for wikis to define their own lists of insertable snippets (including per-user). There's also a bit of overlap with the 'special characters' bit of WikiEditor. It sounds like T210561 might be a good one for us to tackle for this (although it's not Wikisource-specific).

MusikAnimal claimed this task.
MusikAnimal subscribed.

We invested significant time migrating the OCR gadgets and the E-Book Export gadgets into the Wikisource extension. There are several other gadgets that could be migrated but Community Tech is considering this wish completed.