jenkins-bot 857c1bd3d1 Merge "Replace the save button with a save tool"		2019-04-30 19:51:36 +00:00
..
ce	Improve rendering of audio files	2019-04-28 23:56:08 +01:00
dm	API: Use formatversion=2 by default	2019-04-30 19:31:28 +01:00
init	Merge "Replace the save button with a save tool"	2019-04-30 19:51:36 +00:00
tests	Replace the save button with a save tool	2019-04-30 19:32:33 +00:00
themes	ve.ui.MWSaveDialog: Fix border radius styles after changes in OOUI	2019-04-16 17:35:56 +02:00
ui	Merge "Replace the save button with a save tool"	2019-04-30 19:51:36 +00:00
ve.MWutils.js	eslint: Enable valid-jsdoc	2019-04-17 17:13:39 +01:00