We should make it possible for the site javascript to alter the details list before it gets shown. This way ruwiki, for example, could make Yandex appear closer to the top, and, perhaps, hide other external service that does not serve that community well.
Description
Description
Related Objects
Related Objects
Event Timeline
Comment Actions
We should totally make the list of external services customizable per-wiki.
I can think of different options to allowing this, such as:
- Trigger a JS event that developers can hook into, and alter the list of external services via a JavaScript interface.
- Allow the full extension of https://github.com/wikimedia/mediawiki-extensions-Kartographer/blob/master/externalLinks.json per-wiki, as a special page such as Mediawiki:Kartographer.{js|css}
Comment Actions
I was told that it is highly discouraged for us to use Mediawiki:*.js/css pages for anything. Perhaps an event might be a bit better.
Comment Actions
Full JS maybe, but I think JSON configuration pages are reasonable (e.g. Citoid) for allowing on-wiki customizations.
Comment Actions
I would strongly favor full extension of externalLinks.json via a page like Mediawiki:KartographerExternalLinks.js. There's nothing wrong with doing this, especially now that the MediaWiki namespace is locked-down to a very small number of editors. Other MediaWiki extensions and services allow similar on-wiki configuration (e.g. WikiLove, PageCuration, Citoid, etc.).