wikimedia/mediawiki-extensions-CodeEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor synced 2024-11-27 16:40:07 +00:00
Code Issues Packages Projects Releases Wiki Activity
Mirror of https://gerrit.wikimedia.org/g/mediawiki/extensions/CodeEditor
122 commits 11 branches 25 tags 27 MiB
JavaScript 99.9%
Go to file
Translation updater bot 78a8480cb7 Localisation updates from http://translatewiki.net. 
Change-Id: Ifde471bcad49a9f05b9536699dcfa24e2c3b594b
2013-08-30 19:22:55 +00:00
images More image compression of extensions with WMF interest 2012-02-29 22:02:03 +00:00
modules Merge "Explicit dir="ltr" for code" 2013-08-26 20:47:32 +00: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-30 19:22:55 +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