wikimedia/mediawiki-extensions-Cite
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Cite synced 2024-12-22 03:22:40 +00:00
Code Issues Packages Projects Releases Wiki Activity
3926 commits 13 branches 25 tags 43 MiB
Commit graph

1 commit

Author SHA1 Message Date
Jon Harald Søby c66371b3d9 Move Cite-specific settings from WikiEditor 
The WikiEditor extension has a button and some help text that
is only applicable if the Cite extension is enabled. Move
that (with some modifications) to the Cite extension instead.

Bug: T339973
Depends-On: I8256660f9c6886d6764b45735284e00308fc56e5
Change-Id: Ib3fdc897dd3330f69c5832003d4c3cb1e6dba2f3
 2023-06-28 20:22:14 +02:00