mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor
synced 2024-11-24 07:13:27 +00:00
d4cc23f606
Change-Id: I31eeb56eec4995e1bff8248e5c1d4df7f20ad48b
14 lines
500 B
JavaScript
14 lines
500 B
JavaScript
ace.define("ace/snippets/ada",["require","exports","module"], function(require, exports, module) {
|
|
"use strict";
|
|
|
|
exports.snippetText =undefined;
|
|
exports.scope = "ada";
|
|
|
|
}); (function() {
|
|
ace.require(["ace/snippets/ada"], function(m) {
|
|
if (typeof module == "object" && typeof exports == "object" && module) {
|
|
module.exports = m;
|
|
}
|
|
});
|
|
})();
|
|
|