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

Krenair 7a9b6a5168 Save real tabs and allow configuration by users via JS hook ... Bug: 39616 Change-Id: I64c3b9b53f1265f5b9c19edb480040113fa85590		2013-08-25 18:45:16 +01:00
images	More image compression of extensions with WMF interest	2012-02-29 22:02:03 +00:00
modules	Save real tabs and allow configuration by users via JS hook	2013-08-25 18:45:16 +01: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	Use CodeEditor for user css/js subpages	2013-05-20 20:56:50 +00:00
CodeEditor.i18n.php	Localisation updates from http://translatewiki.net.	2013-08-18 19:31:59 +00:00
CodeEditor.php	Adjust after changes in core	2013-05-17 22:04:51 +02:00
hooks.txt	Save real tabs and allow configuration by users via JS hook	2013-08-25 18:45:16 +01:00
Makefile	Updated Ace	2012-07-09 02:13:50 +00:00