Mirror of https://gerrit.wikimedia.org/g/mediawiki/extensions/CodeEditor

Translation updater bot d4dd5249da Localisation updates from https://translatewiki.net. ... Change-Id: I450618189f9b223381e67408399ab2015cc50e0b		2015-07-16 21:10:27 +02:00
i18n	Localisation updates from https://translatewiki.net.	2015-07-16 21:10:27 +02:00
images	Additional CodeEditor buttons	2015-05-26 01:43:47 +00:00
modules	Remove quotes around object properties keys	2015-06-27 20:22:54 +00:00
.gitignore	build: Configuring banana-checker and jsonlint	2015-06-15 14:54:28 -07: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	Load module 'ext.wikiEditor.toolbar.styles'	2015-06-17 05:33:25 +00:00
CodeEditor.php	Sync extension.json with CodeEditor.php and empty php entry point	2015-05-29 23:12:10 +01:00
COPYING	Add COPYING	2014-03-01 16:20:02 +00:00
extension.json	Set manifest_version in extension.json	2015-06-05 17:52:10 -07:00
Gruntfile.js	build: Configuring banana-checker and jsonlint	2015-06-15 14:54:28 -07: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
package.json	build: Configuring banana-checker and jsonlint	2015-06-15 14:54:28 -07:00