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
595 commits 11 branches 25 tags 27 MiB
Commit graph

32 commits

Author SHA1 Message Date
libraryupgrader 0d8d458648 build: Updating npm dependencies 
* eslint-config-wikimedia: 0.16.2 → 0.17.0
  The following rules are failing and were disabled:
  * no-shadow

* grunt: 1.2.1 → 1.3.0

Change-Id: I63254626f9b35eab8a5a1fc9afdb6c458e073f2f
 2020-09-05 11:07:42 +00:00
Ed Sanders 56d6d1598a Update Ace 1.4.9 -> 1.4.12 
2020.07.06 Version 1.4.12
* removed unused es5-shim
* imporved ruby and vbscript highlighting and folding
* workaround for double space being converted to dot on mobile keyboards

2020.04.15 Version 1.4.10
* added workaround for chrome bug causing memory leak after calling editor.destroy
* added code folding support for vbscript mode

Change-Id: I7b2531b1d5571eac15549d58a8295bcf167acd43
 2020-08-12 13:22:05 +01:00
libraryupgrader 226d2c30b9 build: Updating grunt to 1.2.1 
Change-Id: I064bd4aa8bb043ec28357a5b073d2a1bb94a747a
 2020-07-18 02:41:24 +00:00
libraryupgrader 8cbde805df build: Updating eslint-config-wikimedia to 0.16.2 
Change-Id: I067dd83d1628091ce329bf5d2be644afa447f80f
 2020-07-15 22:03:18 +00:00
Ed Sanders 23ded9e5aa build: Update devDependencies 
Change-Id: Ief3ccdd3eab0d8be54bcf818eaa7dbbcc3de7e87
 2020-06-12 22:55:52 +01:00
libraryupgrader a0c219557e build: Updating dependencies 
composer:
* mediawiki/mediawiki-codesniffer: 29.0.0 → 30.0.0

npm:
* eslint-config-wikimedia: 0.15.1 → 0.15.3
* grunt-stylelint: 0.14.0 → 0.15.0
* stylelint-config-wikimedia: 0.10.0 → 0.10.1

Change-Id: I40d3a0a6f6b14038acb90b1b67facc18b5232c3e
 2020-04-22 06:31:03 +00:00
Ed Sanders d4cc23f606 Update ace-build 1.2.9 -> 1.4.9 and recompile 
Change-Id: I31eeb56eec4995e1bff8248e5c1d4df7f20ad48b
 2020-04-14 14:30:34 -07:00
Ed Sanders 5c9ea5dc3f build: Update linters 
Change-Id: I38a3404381e408dce6cc1aced3f47c5addccf707
 2020-04-14 13:01:19 +01:00
libraryupgrader ce4d932e7a build: Updating minimist to 1.2.5 
* https://npmjs.com/advisories/1179

Change-Id: Id32b70e55b9043b35e8dd0b3bc5c731290a3d9cc
 2020-03-18 05:13:15 +00:00
libraryupgrader ad760321e6 build: Updating npm dependencies 
* grunt-stylelint: 0.13.0 → 0.14.0
* stylelint-config-wikimedia: 0.8.0 → 0.9.0

Change-Id: Ibb2f07215b9f4333e9db3586f0e662bba37e77b9
 2020-02-20 20:20:04 +00:00
libraryupgrader bdacb69a78 build: Updating npm dependencies 
* stylelint-config-wikimedia: 0.7.0 → 0.8.0
* grunt-stylelint: 0.12.0 → 0.13.0

Additional changes:
* Added .eslintcache to .gitignore.

Change-Id: Idcbfc48cc1bcb792acacced0ac61243df54b556e
 2020-01-09 04:47:14 +00:00
Ed Sanders c4bc2c7d36 build: Update linters 
Change-Id: I0c7b153461300840deb75c695f893b3b4a778dcf
 2019-11-15 16:40:39 +00:00
Ed Sanders 3568d866bb build: Update linters 
Change-Id: I93c5de0d4a2c3480f1c3ef39ac7394e1552eb631
 2019-10-07 16:57:17 +01:00
libraryupgrader f3293c8a6a build: Updating npm dependencies for security issues 
* Updated grunt to 1.0.4, addressing:
  * https://npmjs.com/advisories/788
  * https://npmjs.com/advisories/813
* Updated stylelint-config-wikimedia to 0.6.0, addressing:
  * https://npmjs.com/advisories/786

Committed package-lock.json (T179229) too.

Change-Id: I49af3e3901457d68bd12c2e78dc4018480e771e3
 2019-06-08 02:08:54 +00:00
James D. Forrester 169e97d8d3 build: Upgrade eslint-config-wikimedia 0.12.0, drop grunt-jsonlint 
Change-Id: Ia88e2eb429391182052aa09b3e0a4a81859ec778
 2019-05-06 15:27:44 -07:00
Ed Sanders 5cac43ddd3 build: Update eslint-config-wikimedia to 0.11.0 
Change-Id: I99fd10fbcce5d5e6b87b6e3faeb7b18c4e573ef7
 2019-03-13 22:38:54 +00:00
Ed Sanders 4ad54da406 build: Update linters 
Change-Id: I9baecb9fd4b9d9bf86897ccec8289614b136c3a2
 2018-12-10 13:31:37 +00:00
James D. Forrester c692070874 build: Bump linting devDependencies to latest 
eslint-config-wikimedia      0.5.0  →   0.8.1
 + eslint-plugin-qunit                   3.3.0
 grunt-eslint                20.1.0  →  21.0.0
 grunt-stylelint              0.9.0  →  0.10.1
 stylelint                    8.2.0  →   9.2.0
 stylelint-config-wikimedia   0.4.2  →   0.4.3

Change-Id: I34518a652fe144df5215b82e7e0c3e74f9b46a0d
 2018-11-05 17:21:34 -08:00
Derk-Jan Hartman 9912b57684 Ace: Handle updates via npm and grunt 
In order to update run
npm install
grunt update-ace

This should handle all processing of updating ace, other than updating
any ResourceLoader settings etc.

Change-Id: I7793e49fa93e34fda96ccc69cc082cc0ac3f67ad
 2018-08-19 14:13:53 +02:00
James D. Forrester 951b9c4e07 HACK: Force downgrade of postcss-less so CI will pass 
Bug: T190269
Change-Id: I248d73fd72bfa0b947c39f835d616e936cfac1b0
 2018-03-21 16:11:43 -07:00
Ed Sanders 18a00f9ab5 build: Update linters 
Change-Id: Ie98d0a18193586013c898e11a86c0261f402f557
 2018-02-04 21:22:12 +00:00
Ed Sanders e9d75b8a2b build: Update stylelint 
Change-Id: Id911ed1119d6b74c5fb61562505cf9aa3c33f82c
 2018-01-04 12:33:34 +00:00
James D. Forrester 7629004d05 build: Bump various devDependencies to latest 
eslint-config-wikimedia   0.4.0  →   0.5.0
 grunt-banana-checker      0.5.0  →   0.6.0
 grunt-eslint             19.0.0  →  20.1.0
 grunt-stylelint           0.6.0  →   0.8.0

Change-Id: Ia01949112243c5a496896c0a3a5eda261e0f66bd
 2017-10-25 10:54:00 -07:00
Antoine Musso 581ec1b463 Define npm peer dependency explicitly 
npm 3 requires dependencies to be explicitly defined.

Bug: T172094
Change-Id: Ic640ccf0f577e47036d473892522ea758014fab4
 2017-07-31 12:45:32 +02:00
Ed Sanders 3b4ffe089f build: Update eslint to 0.4.0 and make pass 
Change-Id: I764892179b136b8a4ae6940611ba8b4ecb672957
 2017-05-04 21:09:35 +00:00
Ed Sanders 8daca8d723 build: Update stylelint to 0.4.1 
Change-Id: If52104b96cb1cbd39caf9e892db3df4fa59b04c4
 2017-03-20 14:27:23 +00:00
Ed Sanders 7fddf35aa8 build: Remove jshint/jscs, add eslint/stylelint 
Change-Id: I4304ca95de7dd395676f40bcbb35a447c039ba21
 2016-12-09 13:31:08 +00:00
Paladox ab7ca69e26 Update some packages 
Update grunt to 1.0.1

Update grunt-contrib-jshint to 1.0.0

Update grunt-banana to 0.5.0

Update grunt-jsonlint to 1.1.0

Change-Id: I30d1cad9ced9490ac51b0263b2c81da6cf52bd96
 2016-08-10 18:47:26 +01:00
Kunal Mehta 5f56bbc159 build: Updating development dependencies 
* grunt-jsonlint: 1.0.6 → 1.0.7

Change-Id: I98afe231fdbab52423a0fe09a5681f0cde8ce87b
 2015-12-29 11:17:43 -08:00
Paladox b6e9f6cca4 Add jshint and jscs to npm, Also add composer.json 
Instead of running the jshint test through jenkins, Run it through npm
instead.

Also add composer.json for running php code sniffer and phplint instead of
running phplint through jenkins.

Also update grunt-jsonlint to 1.0.6

Change-Id: Icd9aa1b1c7213d056aa5294a804341053141b0bd
 2015-11-29 12:03:16 +01:00
Kunal Mehta 816fce3495 build: Updating development dependencies 
* grunt-banana-checker: 0.2.2 → 0.4.0

Change-Id: I56a8b5dc95b174edd8fa3603b8d5759680a4e942
 2015-10-11 11:40:54 -04:00
Kunal Mehta c71fb0bdda build: Configuring banana-checker and jsonlint 
Change-Id: I8b11109e8df32b61f017847a81ea34625592f475
 2015-06-15 14:54:28 -07:00