mediawiki-extensions-Visual.../modules/ve-mw
Ed Sanders bd22be33db AceEditorWidget: Preserve selection on setValue
Also avoid calling setValue when the value hasn't changed
so as not to pollute the undo stack.

Change-Id: I07fc5db0480a8583b361d472723f863ca90046f7
2015-10-30 16:14:09 +00:00
..
ce
dm MediaSearch: Order search results correctly 2015-10-29 12:51:22 +00:00
i18n Localisation updates from https://translatewiki.net. 2015-10-29 21:27:15 +01:00
init Revert "DesktopArticleTarget.init: Tolerate missing wgRelevantPageName" 2015-10-27 01:07:47 +00:00
tests Localisation updates from https://translatewiki.net. 2015-10-22 22:05:34 +02:00
ui AceEditorWidget: Preserve selection on setValue 2015-10-30 16:14:09 +00:00