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
471 commits 162 branches 5 tags 26 MiB
JavaScript 99.9%
Go to file
Ed Sanders af94c2b052 Remove browser support comments 
* "Tested with" should be assumed to be Grade A browsers
* "Browsers with issues" are all no longer supported

Change-Id: I942ed087636ad8e5f74cd131132909e7434bd957
2018-03-21 23:18:27 +00:00
i18n Localisation updates from https://translatewiki.net. 2018-03-19 22:19:00 +01:00
images Align colors to WikimediaUI color palette 2017-03-15 19:31:55 -07:00
includes Move classes into includes/ 2018-02-09 00:25:20 -08:00
modules Remove browser support comments 2018-03-21 23:18:27 +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 Move classes into includes/ 2018-02-09 00:25:20 -08: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.php Add jshint and jscs to npm, Also add composer.json 2015-11-29 12:03:16 +01:00
composer.json build: Updating jakub-onderka/php-parallel-lint to 1.0.0 2018-03-09 06:19:20 +00:00
COPYING License information 2016-03-09 17:27:45 +01:00
extension.json Move classes into includes/ 2018-02-09 00:25:20 -08: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 HACK: Force downgrade of postcss-less so CI will pass 2018-03-21 16:11:43 -07:00