wikimedia/mediawiki-extensions-CodeEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor synced 2024-11-14 19:14:41 +00:00
Code Issues Packages Projects Releases Wiki Activity
Mirror of https://gerrit.wikimedia.org/g/mediawiki/extensions/CodeEditor
152 commits 162 branches 5 tags 26 MiB
JavaScript 99.9%
Go to file
Siebrand Mazeland 27249af1cc Migrate to JSON i18n 
Procedure per https://www.mediawiki.org/wiki/Manual:GenerateJsonI18n.php
with shim.

Change-Id: Id2e1243b0d67c0e6e54e4a147adca6df5d8ee78e
2014-03-26 10:12:39 +01:00
i18n Migrate to JSON i18n 2014-03-26 10:12:39 +01:00
images More image compression of extensions with WMF interest 2012-02-29 22:02:03 +00:00
modules Work around a problem with web workers in ACE 2014-03-25 10:59:08 -07: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 $wgTitle and $wgOut weren't needed here 2014-02-05 11:21:16 -08:00
CodeEditor.i18n.php Migrate to JSON i18n 2014-03-26 10:12:39 +01:00
CodeEditor.php Migrate to JSON i18n 2014-03-26 10:12:39 +01: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