wikimedia/mediawiki-extensions-CodeEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor synced 2024-11-23 14:56:43 +00:00
Code Issues Packages Projects Releases Wiki Activity
Mirror of https://gerrit.wikimedia.org/g/mediawiki/extensions/CodeEditor
118 commits 163 branches 5 tags 27 MiB
JavaScript 99.9%
Go to file
Translation updater bot 7adc7b1a8b Localisation updates from http://translatewiki.net. 
Change-Id: I98abcd7a0c80dee830a25de93959d5cd72b5bf5a
2013-08-18 19:31:59 +00:00
images More image compression of extensions with WMF interest 2012-02-29 22:02:03 +00:00
modules Adjust after changes in core 2013-05-17 22:04:51 +02: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
Makefile Updated Ace 2012-07-09 02:13:50 +00:00