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
68 commits 11 branches 25 tags 27 MiB
JavaScript 99.9%
Go to file
Translation updater bot 0747949b69 Localisation updates from http://translatewiki.net. 
Change-Id: Iddef61e1a95923f7a6d9509a78df0b1dfbd45334
2012-05-22 22:40:28 +00:00
images More image compression of extensions with WMF interest 2012-02-29 22:02:03 +00:00
modules Fixed a couple of minor issues in r115010: 2012-04-23 11:40:43 +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 Fix a very stupid copy-paste-caused typo. 2012-03-09 11:16:23 +00:00
CodeEditor.i18n.php Localisation updates from http://translatewiki.net. 2012-05-22 22:40:28 +00:00
CodeEditor.php * Update the list of the languages 2012-02-06 21:59:13 +00:00
Makefile Add stub extension version of CodeEditor embedding Ace (ace.ajax.org) for editing JS and CSS pages. 2011-06-09 21:50:45 +00:00