wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-12-02 11:58:04 +00:00
Code Issues Packages Projects Releases Wiki Activity
3157 commits 11 branches 26 tags 35 MiB
Commit graph

2 commits

Author SHA1 Message Date
Timo Tijhof 90e6ccaced Remove unused jquery.wikiEditor.html file 
Has sat there since the first commit in 2010 (r73055), but not used.
I imagine it was was a design prototype at some point.

Also fix a few minor eslint warnings about line length, and remove the
one-off "ext-" prefix and capitilised "WikiEditor" CSS class name that
the rest of the repo doesn't use.

Change-Id: Id0eeb456fffdb490a6a86974288e57099e53ce71
 2022-03-03 15:27:18 +00:00
Sam Wilson e3e9ebb6cb Change the (insert-link) title field to OOUI 
Following-up on I9fb7e66bf925eb9a8260d6245d2a7db54a7a2fec
this converts the link-text field to OOUI.

Bug: T289214
Change-Id: I17f34a8cbf72b80f3916581867e5828d9b129789
 2021-10-11 14:45:02 +00:00