wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-15 02:23:58 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui/widgets
History
Derk-Jan Hartman 406e9f8e9c Enable conditional loading of ACE language modes 
require bypasses Ace's internal loadModule() logic which is capable of
on demand loading of Ace modules. Because unloaded modules are not
defined, they cannot be required, and because we don't use RL to preload
all modes (because it's a lot of bytes), currently only very few of the
available language modes were currently available.

Also validate language mode names passed to Ace.

Bug: T148518
Change-Id: I82d278920695be12aa80a79548abf8b8ce5445fd
2016-10-19 02:23:17 +02:00
..
ve.ui.MWAceEditorWidget.js Enable conditional loading of ACE language modes 2016-10-19 02:23:17 +02:00
ve.ui.MWCategoryInputWidget.js Use super property to call parent methods 2016-08-23 11:56:47 -07:00
ve.ui.MWCategoryItemWidget.js Simplify and fix category popup widget checks 2016-09-13 04:17:20 +01:00
ve.ui.MWCategoryPopupWidget.js Simplify and fix category popup widget checks 2016-09-13 04:17:20 +01:00
ve.ui.MWCategoryWidget.js Simplify and fix category popup widget checks 2016-09-13 04:17:20 +01:00
ve.ui.MWExternalLinkAnnotationWidget.js Use widgets for wiki-page-name, wiki-user-name, wiki-template-name, boolean, URL and line template fields 2016-04-06 22:07:19 +01:00
ve.ui.MWGalleryGroupWidget.js Make dialog for editing galleries 2016-06-07 13:53:02 +01:00
ve.ui.MWGalleryItemWidget.js Make image list keyboard accessible in gallery dialog 2016-08-04 16:34:12 -07:00
ve.ui.MWInternalLinkAnnotationWidget.js Pass excludeCurrentPage option to TitleSearchWidget in link inspector 2016-09-30 15:41:08 -04:00
ve.ui.MWMediaInfoFieldWidget.js build: Bump file copyright notices for 2016 2016-01-03 14:57:25 -08:00
ve.ui.MWMediaResultWidget.js Use super property to call parent methods 2016-08-23 11:56:47 -07:00
ve.ui.MWMediaSearchWidget.js MWMediaSearchWidget: Fix indentation in var 2016-10-13 23:45:37 +00:00
ve.ui.MWMoreParametersResultWidget.js Use super property to call parent methods 2016-08-23 11:56:47 -07:00
ve.ui.MWNoParametersResultWidget.js Use super property to call parent methods 2016-08-23 11:56:47 -07:00
ve.ui.MWParameterCheckboxInputWidget.js Use widgets for wiki-page-name, wiki-user-name, wiki-template-name, boolean, URL and line template fields 2016-04-06 22:07:19 +01:00
ve.ui.MWParameterResultWidget.js Use super property to call parent methods 2016-08-23 11:56:47 -07:00
ve.ui.MWParameterSearchWidget.js Use super property to call parent methods 2016-08-23 11:56:47 -07:00
ve.ui.MWTargetWidget.js build: Bump file copyright notices for 2016 2016-01-03 14:57:25 -08:00
ve.ui.MWTemplateTitleInputWidget.js build: Bump file copyright notices for 2016 2016-01-03 14:57:25 -08:00
ve.ui.MWTocWidget.js Use super property to call parent methods 2016-08-23 11:56:47 -07:00