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
443 commits 162 branches 5 tags 26 MiB
JavaScript 99.9%
Go to file
Ed Sanders 14df929c95 Match font and size to other source editors 
All of our other source editors (2003/06/10/17) use the
editfont classes.

Change-Id: Ic9f31eadaefba1af0c1d75171a46218abbd8bc88
2018-01-04 12:33:48 +00:00
i18n Localisation updates from https://translatewiki.net. 2017-12-30 09:38:35 +01:00
images Align colors to WikimediaUI color palette 2017-03-15 19:31:55 -07:00
modules Match font and size to other source editors 2018-01-04 12:33:48 +00:00
.eslintrc.json build: Remove jshint/jscs, add eslint/stylelint 2016-12-09 13:31:08 +00:00
.gitignore Expand .gitignore for more editors 2016-11-13 12:54:01 +01:00
.gitreview Whoops, track not trace 2016-10-24 17:02:17 -07:00
.phpcs.xml build: Updating mediawiki/mediawiki-codesniffer to 15.0.0 2017-12-29 23:35:43 +00:00
.stylelintrc.json Use json extension for .stylelintrc 2017-08-19 09:40:38 +02:00
CODE_OF_CONDUCT.md Add CODE_OF_CONDUCT.md 2017-06-07 13:00:32 +04:30
CodeEditor.hooks.php Improve some parameter docs 2017-10-11 21:01:37 +02:00
CodeEditor.php Add jshint and jscs to npm, Also add composer.json 2015-11-29 12:03:16 +01:00
composer.json build: Updating mediawiki/mediawiki-codesniffer to 15.0.0 2017-12-29 23:35:43 +00:00
COPYING License information 2016-03-09 17:27:45 +01:00
extension.json Add dependency on module 'mediawiki.user' 2017-06-13 07:22:45 +02:00
Gruntfile.js Use json extension for .stylelintrc 2017-08-19 09:40:38 +02:00
hooks.txt Save real tabs and allow configuration by users via JS hook 2013-08-25 18:45:16 +01:00
Makefile Namespace define, require calls when building Ace 2016-03-14 00:11:03 +01:00
package.json build: Bump various devDependencies to latest 2017-10-25 10:54:00 -07:00