wikimedia/mediawiki-extensions-CodeEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor synced 2024-12-11 06:46:10 +00:00
Code Issues Packages Projects Releases Wiki Activity
560 commits 12 branches 25 tags 27 MiB
Commit graph

21 commits

Author SHA1 Message Date
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