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

Realtime Preview: add mediawiki.storage module dependency

Browse source 
It is used by the onboarding pulsating dot and popup.

Follow-Up: I7f4dd0858349b0e7c4f4bedea5c7a62a51c6fa3a
Change-Id: Ic61559793fcac47f6b6246872212f70fcf870cbf
This commit is contained in:
Sam Wilson 2022-07-07 13:31:56 +08:00 committed by Samtar
parent fb8dfd0e31
commit 3ac3629c8d
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

@ -321,6 +321,7 @@
"ext.wikiEditor",
"mediawiki.page.preview",
"mediawiki.pulsatingdot",
"mediawiki.storage",
"ext.wikiEditor.images",
"oojs-ui.styles.icons-interactions"
],