wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-27 15:50:29 +00:00
Code Issues Packages Projects Releases Wiki Activity

Load mediawiki.diff with mediawiki.diff.styles

Browse source 
Improve copy and pasting experience.

Bug: T309441
Change-Id: I62f04d08a9e2e5c994224088a24f9e309b1b63cb
This commit is contained in:
xiplus 2022-06-12 10:32:05 +08:00
parent 03a2523501
commit 8fe04b2555
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
extension.json
View file

@ -794,6 +794,7 @@
"modules/ve-mw/ui/styles/dialogs/ve.ui.MWSaveDialog.css"
],
"dependencies": [
"mediawiki.diff",
"mediawiki.diff.styles",
"mediawiki.String",
"jquery.lengthLimit",