Mirror of https://gerrit.wikimedia.org/g/mediawiki/extensions/CodeEditor

Ori Livneh 1848feb329 Merge "Disable background linting using WebWorkers"		2013-02-20 10:57:06 +00:00
images	More image compression of extensions with WMF interest	2012-02-29 22:02:03 +00:00
modules	Disable background linting using WebWorkers	2013-02-14 19:05:45 -08:00
.gitignore	Add .gitignore	2012-05-21 01:31:34 +01:00
.gitreview	Adding .gitreview	2012-04-27 14:44:07 -04:00
CodeEditor.hooks.php	Allow core functionality of CodeEditor to be disabled.	2012-08-14 15:04:20 +10:00
CodeEditor.i18n.php	Localisation updates from http://translatewiki.net.	2013-02-19 20:36:05 +00:00
CodeEditor.php	(Bug 42561) Enable Ace's JSON mode	2012-12-01 01:09:55 -08:00
Makefile	Updated Ace	2012-07-09 02:13:50 +00:00