mediawiki-extensions-CodeEd.../modules/ace/ext-error_marker.js


;
                (function() {
                    ace.require(["ace/ext/error_marker"], function() {});
                })();
Ace: Update to 2015-01-28 Updated to https://github.com/ajaxorg/ace/commit/6b88b939c2b50c4838041ed885678c1e3072cc77 Includes fixes for drag delay (bug 60432) and chrome useragent detection: Github issue https://github.com/ajaxorg/ace/issues/1950 Bug: T62432 Change-Id: I5ac67a812f09ac43e73475613afc9a3f1ddc9a75 2014-07-08 20:15:22 +00:00
			`;`
			`(function() {`
Update Ace and use scoped require / define This brings Ace to upstream commit 4a55188fdb0eee9e2d3854f175e67408a1e47655 Bug: T127643 Change-Id: I7699e842d7b561b8a35cf7a4ea048f4126eaf856 2016-03-13 23:26:27 +00:00			`ace.require(["ace/ext/error_marker"], function() {});`
Ace: Update to 2015-01-28 Updated to https://github.com/ajaxorg/ace/commit/6b88b939c2b50c4838041ed885678c1e3072cc77 Includes fixes for drag delay (bug 60432) and chrome useragent detection: Github issue https://github.com/ajaxorg/ace/issues/1950 Bug: T62432 Change-Id: I5ac67a812f09ac43e73475613afc9a3f1ddc9a75 2014-07-08 20:15:22 +00:00			`})();`