wikimedia/mediawiki-extensions-CodeEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor synced 2024-11-14 11:04:38 +00:00
Code Issues Packages Projects Releases Wiki Activity
Mirror of https://gerrit.wikimedia.org/g/mediawiki/extensions/CodeEditor
206 commits 162 branches 5 tags 26 MiB
JavaScript 99.9%
Go to file
jenkins-bot aefe1def47 Merge "Use mediawiki.api.parse"
2014-10-16 17:16:42 +00:00
i18n Localisation updates from https://translatewiki.net. 2014-09-13 00:45:19 +02:00
images More image compression of extensions with WMF interest 2012-02-29 22:02:03 +00:00
modules Merge "Use mediawiki.api.parse" 2014-10-16 17:16:42 +00:00
.gitignore Add .gitignore 2012-05-21 01:31:34 +01:00
.gitreview Adding .gitreview 2012-04-27 14:44:07 -04:00
.jshintignore CodeEditor: Update to package 12.02.2013 (December 2013) 2014-01-02 11:11:32 +01:00
.jshintrc Fix JSHint for CodeEditor 2014-03-17 00:28:35 +01:00
CodeEditor.hooks.php Use CodeEditor for JSON pages 2014-10-07 12:57:03 -07:00
CodeEditor.i18n.php Update i18n shim 2014-04-22 13:14:08 +00:00
CodeEditor.php Use mediawiki.api.parse 2014-10-10 13:31:02 +00:00
COPYING Add COPYING 2014-03-01 16:20:02 +00: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