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

Followup e722c172: it's MobileWindowManager.js, not MobileInspectorWindowManager.js

Browse source 
Bug: T76660
Change-Id: Ic71bf45dfc1932dea6d9194fa5b2ec265cc7335d
This commit is contained in:
Roan Kattouw 2014-12-03 12:51:46 -08:00 committed by Catrope
parent fdcc46939a
commit bbb9712b7e
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
VisualEditor.php
View file

@ -771,7 +771,7 @@ $wgResourceModules += array(
'scripts' => array(
'lib/ve/src/ui/ve.ui.MobileSurface.js',
'lib/ve/src/ui/ve.ui.MobileContext.js',
'lib/ve/src/ui/windowmanagers/ve.ui.MobileInspectorWindowManager.js',
'lib/ve/src/ui/windowmanagers/ve.ui.MobileWindowManager.js',
'lib/ve/src/ui/widgets/ve.ui.MobileContextOptionWidget.js',
),
'styles' => array(