jenkins-bot 20205b1e99 Merge "Set title of page to use if discarding changes when changing to the wikitext editor"		2014-07-17 00:08:58 +00:00
..
ve.init.mw.MobileViewTarget.js	Update VE core submodule to master (155f4ab)	2014-06-16 14:52:48 -07:00
ve.init.mw.ViewPageTarget.init.js	Replace ve.bind( fn, ... ) calls with fn.bind( ... )	2014-07-10 13:54:07 +00:00
ve.init.mw.ViewPageTarget.js	Merge "Set title of page to use if discarding changes when changing to the wikitext editor"	2014-07-17 00:08:58 +00:00