mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor
synced 2024-12-03 11:16:21 +00:00
9 lines
330 B
JavaScript
9 lines
330 B
JavaScript
|
|
; (function() {
|
|
ace.require(["ace/snippets/mips"], function(m) {
|
|
if (typeof module == "object" && typeof exports == "object" && module) {
|
|
module.exports = m;
|
|
}
|
|
});
|
|
})();
|
|
|