jenkins-bot cee6e3e6a9 Merge "ve.ui.MWEducationPopupTool: Respect default preferences for anon users"		2019-12-13 16:23:24 +00:00
..
ve.ui.MWEditModeTool.js	ve.ui.MWEditModeTool: Fix showing active editor	2019-09-09 18:32:56 +02:00
ve.ui.MWEducationPopupTool.js	ve.ui.MWEducationPopupTool: Respect default preferences for anon users	2019-10-22 20:02:21 +02:00
ve.ui.MWFormatTool.js	doc: Bump copyright year for 2019	2019-01-01 13:24:23 +00:00
ve.ui.MWGalleryDialogTool.js	doc: Bump copyright year for 2019	2019-01-01 13:24:23 +00:00
ve.ui.MWLinkInspectorTool.js	doc: Bump copyright year for 2019	2019-01-01 13:24:23 +00:00
ve.ui.MWMediaDialogTool.js	doc: Bump copyright year for 2019	2019-01-01 13:24:23 +00:00
ve.ui.MWMetaDialogTool.js	Fix function name	2019-02-06 21:54:23 +00:00
ve.ui.MWMobileLinkInspectorTool.js	doc: Bump copyright year for 2019	2019-01-01 13:24:23 +00:00
ve.ui.MWPopupTool.js	build: Update linters	2019-11-01 16:20:22 +00:00
ve.ui.MWSaveTool.js	Don't let double-clicking the save button trigger a save	2019-08-29 22:43:53 +00:00
ve.ui.MWSignatureTool.js	doc: Bump copyright year for 2019	2019-01-01 13:24:23 +00:00
ve.ui.MWTransclusionDialogTool.js	doc: Bump copyright year for 2019	2019-01-01 13:24:23 +00:00