wikimedia/mediawiki-extensions-SyntaxHighlight_GeSHi
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/SyntaxHighlight_GeSHi synced 2024-11-23 22:13:40 +00:00
Code Issues Packages Projects Releases Wiki Activity
1331 commits 283 branches 5 tags 31 MiB
Commit graph

61 commits

Author SHA1 Message Date
libraryupgrader dbb735bda8 build: Updating npm dependencies 
* eslint-config-wikimedia: 0.28.0 → 0.28.2
* grunt-stylelint: 0.20.0 → 0.20.1
* stylelint-config-wikimedia: 0.17.1 → 0.17.2

Change-Id: Ie72ab806709d12d2f143de7da9f019b4263498fd
 2024-06-22 02:53:34 +00:00
libraryupgrader a3a2e5a060 build: Updating npm dependencies 
* grunt-stylelint: 0.19.0 → 0.20.0
* stylelint-config-wikimedia: 0.16.1 → 0.17.1

Change-Id: Iee3227463ce4544d7a2ea7d3bf3b4fb0f3e77df9
 2024-06-08 04:58:42 +00:00
Ed Sanders cd421a4b1d build: Update eslint-config-wikimedia to 0.28.0 
Change-Id: Ia565bd4d314b7b512a46c4bb2af74784d5c2edc1
 2024-06-06 16:33:02 +01:00
libraryupgrader 8edabdced1 build: Updating grunt-banana-checker to 0.13.0 
Change-Id: I9ccd09b18e0f89bd5a2a6be83dbb62a925041ed0
 2024-05-19 04:06:16 +00:00
libraryupgrader ac48cdaa71 build: Updating grunt-banana-checker to 0.12.0 
Change-Id: I29142c3edc4c0839d0e35e615b72ced962282530
 2024-05-11 00:20:44 +00:00
libraryupgrader a0478fa896 build: Updating eslint-config-wikimedia to 0.27.0 
Change-Id: If1214446c8011d643fb359db9f0e8a469aba3a5a
 2024-04-20 01:17:47 +00:00
libraryupgrader 7e6a675a6c build: Updating dependencies 
composer:
* mediawiki/mediawiki-phan-config: 0.12.1 → 0.14.0

npm:
* eslint-config-wikimedia: 0.25.0 → 0.26.0
* grunt-banana-checker: 0.11.0 → 0.11.1

Change-Id: Ief4ab2a9dbc1183629342d1cdd9d681e7172e377
 2024-02-10 23:26:57 +00:00
libraryupgrader 74364d4901 build: Updating npm dependencies 
* grunt-eslint: 24.0.1 → 24.3.0
* grunt-stylelint: 0.18.0 → 0.19.0
* stylelint-config-wikimedia: 0.15.0 → 0.16.1

Change-Id: Ibcdf5387e580fae80ba20ed79e4db948f6554a4c
 2024-02-08 01:29:09 +00:00
libraryupgrader ca0ed556a9 build: Updating npm dependencies 
* grunt-banana-checker: 0.10.0 → 0.11.0
* stylelint-config-wikimedia: 0.14.0 → 0.15.0

Change-Id: Ifcc811fadf80d1865a55e8f70e0429673ae72b98
 2023-06-02 03:55:33 +00:00
libraryupgrader 13c7d46076 build: Updating eslint-config-wikimedia to 0.25.0 
Change-Id: I9d27d063d5f8983127929b117248b489056c8c97
 2023-05-05 18:05:47 +00:00
libraryupgrader f0d5eca0ed build: Updating dependencies 
composer:
* mediawiki/mediawiki-phan-config: 0.12.0 → 0.12.1

npm:
* grunt-eslint: 24.0.0 → 24.0.1

Change-Id: I21b929710f0eada0f2ed5c6ae793bbe35f6f93df
 2023-04-29 12:09:08 +00:00
libraryupgrader 6a0c7826b0 build: Updating npm dependencies 
* eslint-config-wikimedia: 0.22.1 → 0.24.0
* grunt: 1.5.3 → 1.6.1
* stylelint-config-wikimedia: 0.13.1 → 0.14.0
  The following rules are failing and were disabled:
  * selector-pseudo-element-colon-notation

Change-Id: Ia16224c8a403ef78a6cce4d6b7d06775c2dc908d
 2023-03-16 07:49:25 +00:00
libraryupgrader 27ca45e8cb build: Updating dependencies 
composer:
* mediawiki/mediawiki-codesniffer: 39.0.0 → 40.0.1

npm:
* stylelint-config-wikimedia: 0.13.0 → 0.13.1

Change-Id: Ifd15d37271ad474c948e9187b7b6bccc1f336489
 2022-11-16 23:22:01 +00:00
libraryupgrader b4e5ef0a41 build: Updating grunt-stylelint to 0.18.0 
Change-Id: I4c52e2c0121f617c04e32a04b3e7bec785606e8f
 2022-11-13 09:48:07 +00:00
libraryupgrader 07738f210c build: Updating grunt-banana-checker to 0.10.0 
Change-Id: I7c9cf57a5f67924475132634f432eb778c2fad4e
 2022-10-07 07:27:43 +00:00
libraryupgrader 39292cc8a9 build: Updating grunt to 1.5.3 
Change-Id: Ifb4f99a1f3fd3f8df17d5a69fec5a6650ce585bb
 2022-05-27 03:43:14 +00:00
libraryupgrader bf510e677d build: Updating dependencies 
composer:
* mediawiki/mediawiki-codesniffer: 38.0.0 → 39.0.0
* mediawiki/mediawiki-phan-config: 0.11.0 → 0.11.1
* php-parallel-lint/php-console-highlighter: 0.5.0 → 1.0.0
* php-parallel-lint/php-parallel-lint: 1.3.1 → 1.3.2

npm:
* grunt: 1.4.1 → 1.5.2
* stylelint-config-wikimedia: 0.12.2 → 0.13.0
* async: 3.2.0 → 3.2.3
  * https://github.com/advisories/GHSA-fwr7-v2mv-hh25
  * https://github.com/advisories/GHSA-fwr7-v2mv-hh25

Additional changes:
* Set `name` in package.json.

Change-Id: I59c4f54b9c57facc14b5c28e5b58666cffadb6d9
 2022-05-21 15:34:29 +00:00
Ed Sanders 0345688a4f build: Update devDependencies 
Change-Id: Id4d2eaaa8a5faa567e7f978eb21921b9644c7500
 2022-03-20 15:05:03 +00:00
libraryupgrader 96fe42fd33 build: Updating stylelint-config-wikimedia to 0.11.1 
Change-Id: I49950c0b15a4be915259952811bfd2432da3062a
 2021-09-04 22:54:14 +00:00
libraryupgrader c6e7317bd6 build: Updating dependencies 
composer:
* mediawiki/mediawiki-codesniffer: 35.0.0 → 36.0.0
* php-parallel-lint/php-parallel-lint: 1.2.0 → 1.3.0

npm:
* grunt: 1.3.0 → 1.4.0
* lodash: 4.17.19 → 4.17.21
  * https://npmjs.com/advisories/1673 (CVE-2021-23337)
* hosted-git-info: 3.0.7 → 3.0.8
  * https://npmjs.com/advisories/1677 (CVE-2021-23362)
* postcss: 7.0.35 → 8.2.15
  * https://npmjs.com/advisories/1693 (CVE-2021-23368)
* websocket-extensions: 0.1.3 → 0.1.4
  * https://npmjs.com/advisories/1710 (CVE-2020-7662)

Change-Id: Ibb7da231b399652d6ad6857cac0e4831e7cfa12b
 2021-05-14 04:34:12 +00:00
libraryupgrader dc2c27f9fa build: Updating eslint-config-wikimedia to 0.20.0 
Change-Id: I875ad34c50f6e745701eeb0724ee6995c17f2a10
 2021-04-14 08:20:46 +00:00
libraryupgrader 6e82ac0823 build: Updating eslint-config-wikimedia to 0.19.0 
Additional changes:
* eslint: Renamed `wikimedia/client` profile to `client-es5` (T277085).

Change-Id: I17aa369edd49580ffd392ea6095851a46a8520ea
 2021-03-14 17:31:23 +00:00
libraryupgrader e0399a6d52 build: Updating eslint-config-wikimedia to 0.18.2 
Additional changes:
* Dropped .php5 and .inc files from .phpcs.xml (T200956).

Change-Id: If3a049b74080e386eaffafd601276dcf2fa77289
 2021-03-08 02:28:40 +00:00
libraryupgrader c7600c3f40 build: Updating dependencies 
composer:
* mediawiki/mediawiki-codesniffer: 34.0.0 → 35.0.0
* mediawiki/minus-x: 1.1.0 → 1.1.1

npm:
* eslint-config-wikimedia: 0.17.0 → 0.18.1

Additional changes:
* Added the "composer phan" command to conveniently run phan.

Change-Id: Ie7649408030682fccc0c0f0251359246bc06a986
 2021-01-30 14:48:22 +00:00
libraryupgrader 0c669a0acc build: Updating npm dependencies 
* grunt-stylelint: 0.15.0 → 0.16.0
* stylelint-config-wikimedia: 0.10.1 → 0.10.3

Change-Id: Ib26cb5e70a26c64c21580fc9d57fb082e68e6da8
 2020-11-22 10:44:04 +00:00
libraryupgrader a58c6276ae build: Updating npm dependencies 
* eslint-config-wikimedia: 0.16.2 → 0.17.0
* grunt: 1.2.1 → 1.3.0

Change-Id: I742849cef5777470bbab488c2764aab4fea81a30
 2020-09-04 23:11:26 +00:00
Ed Sanders 59252b8a7a build: Update eslint-config-wikimedia to 0.16.2 
Change-Id: Ic734db29e30b01ed2fe2091a00bcd125fe04a2cf
 2020-07-07 22:04:53 +01:00
libraryupgrader 54ac61e723 build: Updating dependencies 
composer:
* mediawiki/mediawiki-codesniffer: 29.0.0 → 30.0.0
  The following sniffs now pass and were enabled:
  * MediaWiki.NamingConventions.LowerCamelFunctionsName.FunctionName

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

Change-Id: I24796acf9a26c27c783b2e88f2598183d2d60651
 2020-04-22 20:20:00 +00:00
libraryupgrader b865f59614 build: Updating grunt-banana-checker to 0.9.0 
Change-Id: Ibe0fc7f99fc0022970fd2ef73629c429f44a1874
 2020-04-19 20:14:00 +00:00
libraryupgrader 3b765e8b8f build: Updating minimist to 1.2.5 
* https://npmjs.com/advisories/1179

Change-Id: I11891909c5ec5b65540595f57cf7356a04f6369a
 2020-03-19 13:10:42 +00:00
libraryupgrader 847de00b3e build: Updating npm dependencies 
* grunt-stylelint: 0.13.0 → 0.14.0
* stylelint-config-wikimedia: 0.8.0 → 0.9.0

Change-Id: I68136c54e4ee8d41f25501d9bb0c32076ac26fd6
 2020-02-21 03:07:03 +00:00
libraryupgrader b5f6be3ca9 build: Updating npm dependencies 
* eslint-config-wikimedia: 0.14.3 → 0.15.0
* grunt-stylelint: 0.11.1 → 0.13.0
* stylelint-config-wikimedia: 0.6.0 → 0.8.0

Additional changes:
* Also sorted "composer fix" command to run phpcbf last.
* Removing manual reportUnusedDisableDirectives for eslint.

Change-Id: I26e6206daaef4d2b7e2966ffef3a49c81b9b6f8f
 2020-01-13 05:13:39 +00:00
Ed Sanders 310bb4405a build: Update linters 
Change-Id: I95cbc1fc9c2acedb5aedc3829e84a2de07d5df50
 2019-10-07 17:59:00 +01:00
Ed Sanders 7e344532c0 build: Update devDependencies 
Change-Id: I60680de345c39a365b58c016a49c0e7ea11510be
 2019-07-31 16:45:14 +01:00
libraryupgrader a8195c7ebf build: Updating npm dependencies for security issues 
* Updated stylelint-config-wikimedia to 0.6.0, addressing:
  * https://npmjs.com/advisories/786

Committed package-lock.json (T179229) too.

Change-Id: I6edfb1e98f5f0d2739fdb2cbdc3a5d32733d313d
 2019-06-09 00:17:59 +00:00
James D. Forrester 28ad9d7b05 build: Upgrade eslint-config-wikimedia 0.12.0, drop grunt-jsonlint 
Change-Id: I67aee67060910d73c1d315b9efe6385d3afc0760
 2019-05-07 10:47:46 -07:00
James D. Forrester 4a22815562 build: Upgrade eslint-config-wikimedia from 0.10.1 to 0.11.0 
Change-Id: I691326c8fc35e0ccc7b7d0b19b586e68611baf88
 2019-04-03 16:26:40 -07:00
Ed Sanders 89bc1b5a76 build: Update devDependencies 
Change-Id: I6307ac4cfb4ea7e9d86a0d576192aa6085218787
 2019-02-10 16:56:10 +00:00
Volker E a3acdc0ef6 build: Update 'stylelint-config-wikimedia' to v0.5.0 
Change-Id: I458f974f6062d35511b6cf59f66df75a1f8be7be
 2019-01-10 10:17:17 -08:00
Ed Sanders 8d1c397b63 Update eslint-config-wikimedia to 0.9.0 
Change-Id: Ifded26af687dd409b01554df68e83c32a6844317
 2018-11-27 21:59:16 +00:00
Ed Sanders 394762af49 build: Update devDependencies 
eslint-config-wikimedia      0.5.0  →   0.8.1
 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: I5f784054b6d6d1abb157bca97ddad73266c3c5bc
 2018-10-31 12:55:23 +00:00
libraryupgrader 715c3e07be build: Updating npm dependencies for security issues 
* Updated grunt-contrib-watch to 1.1.0, addressing:
  * https://npmjs.com/advisories/534
  * CVE-2017-16137
  * https://npmjs.com/advisories/577
  * CVE-2018-3721
* Updated grunt to 1.0.3, addressing:
  * https://npmjs.com/advisories/577
  * CVE-2018-3721

Change-Id: I9110ae1f05f7900ca260b06e96faf2c580155f75
 2018-10-11 11:13:38 +00:00
James D. Forrester 6f9868891e build: Bump devDependencies to latest 
grunt                  1.0.1  →   1.0.2
 grunt-banana-checker   0.5.0  →   0.6.0
 grunt-eslint          20.0.0  →  20.1.0

Change-Id: I409217f61deab2db06e15ba6761327c768aa179f
 2018-02-23 18:35:07 -08:00
Ed Sanders 8570ae5d1d build: Update linters 
Change-Id: I92f658cdb4806e7b1000c9306114072477fc9651
 2017-11-30 21:55:54 +00:00
Antoine Musso 5c5c386f2c Define npm peer dependency explicitly 
npm 3 requires dependencies to be explicitly defined.

Bug: T172094
Change-Id: Ic640ccf0f577e47036d473892522ea758014fab4
 2017-07-31 13:35:51 +02:00
Derk-Jan Hartman e908a9ef43 Remove 'GeSHi' name from composer and npm manifests 
Both of these seem to be private, and are therefore easily renamed.

Bug: T164939
Change-Id: I09be0ef0131d31182ed8bb6be221c76dba2c1a53
 2017-05-21 13:26:40 +00:00
Ed Sanders cd179bd702 build: Update eslint to 0.4.0 
Change-Id: I0ea71dce95df6836c3a1dfecf4adedc7b1ae9f2f
 2017-05-04 21:59:49 +01:00
James D. Forrester afdc03b38d build: Bump stylelint and make pass 
grunt-stylelint              0.6.0  →   0.7.0
 stylelint-config-wikimedia   0.3.0  →   0.4.1

Change-Id: Id87b8df04d415e1f1058a4042a31408236402037
 2017-02-17 16:25:00 -08:00
Ed Sanders d150ddea1c build: Replace jshint/jscs with eslint 
Change-Id: I503a57bed2ee6bb648697d6245af0b0286b5f3ec
 2016-11-19 13:56:05 +00:00
James D. Forrester ea982549bc build: Fix stylelint devDependencies 
Change-Id: I2f808a911ab88ccc00d20a9bdf172922f2d6ba12
 2016-08-05 10:54:50 -07:00