FS#55828 - {wiki} Switch to another editor

Attached to Project: Arch Linux
Opened by Michael Schönitzer (Nudin) - Sunday, 01 October 2017, 17:51 GMT
Last edited by Jelle van der Waa (jelly) - Sunday, 06 June 2021, 12:09 GMT
Task Type Feature Request
Category Web Sites
Status Closed
Assigned To Pierre Schmitz (Pierre)
Architecture All
Severity Low
Priority Normal
Reported Version
Due in Version Undecided
Due Date Undecided
Percent Complete 100%
Votes 2
Private No

Details

Description:
There are several Editors for Mediawiki, see here for a list: https://www.mediawiki.org/wiki/Editor

Arch Wiki currently uses the 2006-core-Editor. This Editor is deprecated and will be removed in MediaWiki 1.30. We should therefore switch to a newer one.
I propose Extension:WikiEditor – which it the most common one, easy to install and faster than the newer 2017 wikitext editor.
This task depends upon

Closed by  Jelle van der Waa (jelly)
Sunday, 06 June 2021, 12:09 GMT
Reason for closing:  Implemented
Additional comments about closing:  Deployed https://gitlab.archlinux.org/archlinux/i nfrastructure/-/merge_requests/366
Comment by Michael Schönitzer (Nudin) - Friday, 11 September 2020, 19:43 GMT
The editor was removed in 1.30 and therefore people editing the Arch Wiki see only a pure textarea, without any buttons to format the text. This means that people who are not familiar with Mediawiki syntax might feel it hard to format the article.
Comment by Jakub Klinkovský (lahwaacz) - Saturday, 12 September 2020, 09:23 GMT
This needs to be discussed on the wiki first: https://wiki.archlinux.org/index.php/ArchWiki_talk:Maintenance_Team#Switch_to_another_editor
Comment by nl6720 (nl6720) - Sunday, 06 June 2021, 11:59 GMT
Implemented in https://github.com/archlinux/archwiki/pull/32 , https://gitlab.archlinux.org/archlinux/infrastructure/-/merge_requests/366 and deployed.