wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-12-19 03:21:02 +00:00
Code Issues Packages Projects Releases Wiki Activity
3247 commits 13 branches 26 tags 37 MiB
Commit graph

3 commits

Author SHA1 Message Date
Ed Sanders 796d82a7ab ESLint: Enforce no-var and autofix 
Change-Id: I6f2a1e11acdcdb70902357316b504f903abe8bca
 2024-11-15 11:08:22 +00:00
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