wikimedia/mediawiki-extensions-Math
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Math synced 2024-11-27 17:01:07 +00:00
Code Issues Packages Projects Releases Wiki Activity
2826 commits 20 branches 20 tags 88 MiB
Commit graph

74 commits

Author SHA1 Message Date
libraryupgrader aad088158d build: Updating mediawiki/mediawiki-phan-config to 0.14.0 
Change-Id: I7b9a7e20a5d177edfcba3c76a0d65228497e0d79
 2024-02-14 07:42:39 -05:00
Stegmujo a82727f61f
Rename TexVC in PHP to WikiTexVC 
Change-Id: Idd98205ea291640b01946374f15c807da7fc26e5
 2023-11-24 16:41:30 +01:00
libraryupgrader 7c267e83ff 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: I9cd23b8344fed2c69014b618f96f122823f4bed9
 2023-04-29 06:56:04 +00:00
libraryupgrader dcce2100d0 build: Updating dependencies 
composer:
* mediawiki/mediawiki-codesniffer: 39.0.0 → 41.0.0

npm:
* cookiejar: 2.1.3 → 2.1.4
  * https://github.com/advisories/GHSA-h452-7996-h45h
* http-cache-semantics: 4.1.0 → 4.1.1
  * https://github.com/advisories/GHSA-rc47-6667-2j5j
* ua-parser-js: 1.0.2 → 1.0.34
  * https://github.com/advisories/GHSA-fhg7-m89q-25r3

Change-Id: I4198e1cbdc115d27c9fe5b8d0ce813b514524796
 2023-03-12 05:44:17 +00:00
Stegmujo c124f1ec26 Add utility classes for generating MathML 
Bug: T302628

Change-Id: I90f0470a14f0adeaef94b90833b4bbc32a758a32
 2022-12-23 14:42:18 +00:00
Stegmujo ad701733ec Add Grammar and Parser Functionalities 
For development history of this changeset see:
Id96a4b1b55e3959aab81f4ba436c5ac125f2a1bb

Bug: T312528

Change-Id: I0e64a3fc4b4556bc4ea6271bd6b778ed2930ab1a
 2022-10-18 14:16:45 +00:00
libraryupgrader 049deca5d7 build: Updating mediawiki/mediawiki-phan-config to 0.12.0 
Change-Id: I8b7a32686e4ead725539c449a58d58c86e58783c
 2022-10-09 12:08:11 +00:00
libraryupgrader 64f47709ef build: Updating dependencies 
composer:
* mediawiki/mediawiki-codesniffer: 38.0.0 → 39.0.0
* 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-eslint: 23.0.0 → 24.0.0
* grunt-stylelint: 0.16.0 → 0.17.0
* stylelint-config-wikimedia: 0.11.1 → 0.13.0

Change-Id: I369897d2e8cc58ac00e8395f9545838e7f42be2e
 2022-05-21 07:23:34 +00:00
libraryupgrader 389a071858 build: Updating dependencies 
composer:
* mediawiki/mediawiki-phan-config: 0.11.0 → 0.11.1

npm:
* eslint-config-wikimedia: 0.21.0 → 0.22.1
* grunt: 1.4.1 → 1.5.2
* ansi-regex: 5.0.1 → 5.0.1
  * https://github.com/advisories/GHSA-93q8-gq69-wqmw
  * https://github.com/advisories/GHSA-93q8-gq69-wqmw
* async: 2.6.3 → 2.6.3
  * https://github.com/advisories/GHSA-fwr7-v2mv-hh25
* jake: 10.8.2 → 10.8.5
  * https://github.com/advisories/GHSA-fwr7-v2mv-hh25
* minimist: 1.2.5 → 1.2.6
  * https://github.com/advisories/GHSA-xvch-5gv4-984h
* mocha: ^7.1.1 → ^7.1.1
  * https://github.com/advisories/GHSA-qrpm-p2h7-hrv2
* nanoid: 3.1.25 → 3.3.1
  * https://github.com/advisories/GHSA-qrpm-p2h7-hrv2

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

Change-Id: Iff57ab47c1407e2eb4b523ef72bdbcecdff74a60
 2022-04-27 16:28:47 +00:00
libraryupgrader fc47763ac4 build: Updating mediawiki/mediawiki-codesniffer to 38.0.0 
The following sniffs now pass and were enabled:
* MediaWiki.Commenting.PropertyDocumentation.WrongStyle

Change-Id: I781fda9f89d43caa32243fc7d26ff579062b0f70
 2021-10-24 07:33:00 +00:00
libraryupgrader bc39807052 build: Updating npm dependencies 
* @wdio/mocha-framework: 7.5.3 → 7.14.1
  * https://npmjs.com/advisories/1002401 (CVE-2021-3807)
* ansi-regex: 5.0.0 → 5.0.1
  * https://npmjs.com/advisories/1002401 (CVE-2021-3807)

Additional changes:
* composer.json: Updated phpcs command in composer test (T280592).
* composer.json: Added phpcs command to scripts (T280592).

Change-Id: I0db8f640048bf8ea25367776d7d05ef508668974
 2021-10-09 07:27:19 +00:00
libraryupgrader 1e15355fdf build: Updating composer dependencies 
* mediawiki/mediawiki-phan-config: 0.10.6 → 0.11.0
* php-parallel-lint/php-parallel-lint: 1.3.0 → 1.3.1

Change-Id: I6c13f1e5d7488e269b5ca6f26ee4aa7cc22638c1
 2021-09-09 11:08:17 +00:00
libraryupgrader b409746fc6 build: Updating dependencies 
composer:
* mediawiki/mediawiki-codesniffer: 36.0.0 → 37.0.0

npm:
* postcss: 7.0.35 → 7.0.36
  * https://npmjs.com/advisories/1693 (CVE-2021-23368)
* ws: 7.3.0 → 7.5.3
  * https://npmjs.com/advisories/1748 (CVE-2021-32640)
* glob-parent: 5.1.1 → 5.1.2
  * https://npmjs.com/advisories/1751 (CVE-2020-28469)
* trim-newlines: 3.0.0 → 3.0.1
  * https://npmjs.com/advisories/1753 (CVE-2021-33623)
* normalize-url: 4.5.0 → 4.5.1
  * https://npmjs.com/advisories/1755 (CVE-2021-33502)

Change-Id: Ie14979780cdbd04fa2804f5317e8b0f6b0029470
 2021-07-23 02:28:22 +00:00
libraryupgrader c416046515 build: Updating composer dependencies 
* mediawiki/mediawiki-codesniffer: 35.0.0 → 36.0.0
* php-parallel-lint/php-parallel-lint: 1.2.0 → 1.3.0

Change-Id: Iccba9c52c8390b00fe1cc31e5f3bed3074e27f85
 2021-05-05 06:48:02 +00:00
libraryupgrader 79a7324eed build: Updating dependencies 
composer:
* mediawiki/mediawiki-codesniffer: 34.0.0 → 35.0.0
  The following sniffs are failing and were disabled:
  * MediaWiki.Commenting.PropertyDocumentation.MissingDocumentationPrivate
  * MediaWiki.Commenting.PropertyDocumentation.MissingDocumentationProtected
  * MediaWiki.Commenting.PropertyDocumentation.MissingDocumentationPublic
  * MediaWiki.Commenting.PropertyDocumentation.WrongStyle

* mediawiki/minus-x: 1.1.0 → 1.1.1

npm:
* eslint-config-wikimedia: 0.17.0 → 0.18.1
  The following rules are failing and were disabled:
  * no-useless-escape

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

Change-Id: I1c641a4945f94337ca22763920601400ee9ab691
 2021-02-06 12:19:19 +00:00
libraryupgrader 0dd8ac3389 build: Updating mediawiki/mediawiki-phan-config to 0.10.6 
Change-Id: Id0c2f41f1e62f19cbd2fc6cbc00e9e49138394ac
 2020-12-19 21:10:12 +00:00
libraryupgrader 6181f3b8f2 build: Updating mediawiki/mediawiki-phan-config to 0.10.5 
Change-Id: If645b9d5cb14be08c42537db98dbed33778f4630
 2020-12-10 13:15:12 +00:00
libraryupgrader 02d39313a0 build: Updating mediawiki/mediawiki-codesniffer to 34.0.0 
Change-Id: I53cf71312a1bc8178b97a24fbadd38b82f9914f8
 2020-12-06 16:33:13 +00:00
libraryupgrader da3c9edb26 build: Updating mediawiki/mediawiki-phan-config to 0.10.4 
Change-Id: I0476384b99c41102ddca5928fbb068c45c139d56
 2020-11-20 12:50:55 +00:00
libraryupgrader ce88944fe5 build: Updating mediawiki/mediawiki-codesniffer to 33.0.0 
The following sniffs are failing and were disabled:
* Generic.ControlStructures.DisallowYodaConditions.Found
* MediaWiki.Commenting.FunctionComment.ObjectTypeHintParam
* MediaWiki.Commenting.PropertyDocumentation.MissingDocumentationPrivate
* MediaWiki.Commenting.PropertyDocumentation.MissingDocumentationProtected
* MediaWiki.Usage.ExtendClassUsage.FunctionConfigUsage
* MediaWiki.Usage.ExtendClassUsage.FunctionVarUsage

Additional changes:
* Dropped .inc files from .phpcs.xml (T200956).

Change-Id: I2a0a579219607d60c1557d4b700cdf810f07f538
 2020-11-04 04:01:14 +00:00
libraryupgrader db617781c1 build: Updating mediawiki/mediawiki-phan-config to 0.10.3 
Additional changes:
* Dropped .php5 files from .phpcs.xml (T200956).

Change-Id: I4350e4a3ce029921dd738b4754454b0327ebd852
 2020-09-25 05:28:20 +00:00
libraryupgrader 8d6a4fe432 build: Updating mediawiki/minus-x to 1.1.0 
Change-Id: Ie6ee66b753b3989a849bfdb5e2531a30e70fe49d
 2020-06-09 05:49:01 +00:00
jenkins-bot 3157a430f5 Merge "build: Bump phan to 0.10.2, remove taint-check" 2020-06-01 21:09:22 +00:00
libraryupgrader babb120d4a build: Updating composer dependencies 
* php-parallel-lint/php-console-highlighter: 0.4.0 → 0.5.0
* php-parallel-lint/php-parallel-lint: 1.0.0 → 1.2.0

Change-Id: I990943b5c3d0b0183fb605b59a0542a1bd640be5
 2020-06-01 20:16:28 +00:00
Umherirrender 78dace58e6 build: Bump phan to 0.10.2, remove taint-check 
Change-Id: I044a8b6d32dc539911616e88f9491b3b3c382449
 2020-05-31 17:47:02 +02:00
libraryupgrader 1e47916311 build: Updating mediawiki/mediawiki-codesniffer to 31.0.0 
Additional changes:
* Replaced "jakub-onderka" packages with "php-parallel-lint".

Change-Id: I4f0e77e3ee1e8d8ade1bacdba6cf74cedc34da31
 2020-05-30 02:18:14 +00:00
libraryupgrader 9653854b1c build: Updating dependencies 
composer:
* mediawiki/mediawiki-codesniffer: 29.0.0 → 30.0.0

npm:
* eslint-config-wikimedia: 0.15.0 → 0.15.3
  The following rules are failing and were disabled:
  * mediawiki/class-doc

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

Change-Id: I41574c72228ff6e1aea2a62fee8a0e2929190abd
 2020-04-22 14:16:21 +00:00
libraryupgrader 9a33254fb6 build: Updating composer dependencies 
* jakub-onderka/php-console-highlighter: 0.3.2 → 0.4.0
* mediawiki/minus-x: 0.3.2 → 1.0.0
* mediawiki/mediawiki-phan-config: 0.9.0 → 0.9.1

Change-Id: I23b372f28baa84360eea9266ab2b63cce69616a9
 2020-01-29 17:46:54 +00:00
libraryupgrader 5018e51b29 build: Updating mediawiki/mediawiki-codesniffer to 29.0.0 
The following sniffs are failing and were disabled:
* MediaWiki.Commenting.FunctionComment.MissingDocumentationPrivate

Change-Id: I57bb0f5bc4167ea4b4a50d666ad95c02fcc7d8c9
 2020-01-14 22:01:54 +00:00
libraryupgrader 6aeffb314b build: Updating npm dependencies 
* grunt-stylelint: 0.12.0 → 0.13.0
* stylelint-config-wikimedia: 0.7.0 → 0.8.0

Additional changes:
* Also sorted "composer fix" command to run phpcbf last.

Change-Id: I1eb32aab9914081e5b637b068f723ca59a60b3a7
 2020-01-13 04:06:58 +00:00
libraryupgrader 863794c1dd build: Updating mediawiki/mediawiki-phan-config to 0.9.0 
Change-Id: Id4f976b7ec94e1d2be0421725733804f24dec2c5
 2019-12-29 17:56:56 +00:00
libraryupgrader 505e530787 build: Updating mediawiki/minus-x to 0.3.2 
Change-Id: I2cb1ba17bfcaf9a151f547e772350e49cdec4f04
 2019-12-17 21:18:23 +00:00
Umherirrender b2e2a7b1a2 build: Updating mediawiki/mediawiki-phan-config to 0.8.0 
Bug: T235049
Change-Id: I202d0b41c217498b0697eb9237c9f18725b7224d
 2019-11-04 19:44:47 +01:00
James D. Forrester 6e8ca25d46 build: Upgrade mediawiki-codesniffer to v28.0.0 
Change-Id: I620a56f9edab3a751c7c41cd76ef401aac5d3b79
 2019-10-11 10:45:11 -07:00
libraryupgrader ccc6a0cb48 build: Updating dependencies 
composer:
* mediawiki/mediawiki-codesniffer: 24.0.0 → 26.0.0

npm:
* set-value: 2.0.0 → 2.0.1
  * https://npmjs.com/advisories/1012
  * CVE-2019-10747
* union-value: 1.0.0 → 1.0.1
  * https://npmjs.com/advisories/1012
  * CVE-2019-10747
* mixin-deep: 1.3.1 → 1.3.2
  * https://npmjs.com/advisories/1013
  * CVE-2019-10746

Change-Id: Id7c540a37118f3a89917f467dcb715f504b843ef
 2019-07-14 13:30:34 +00:00
James D. Forrester 85d7f039bd build: Upgrade phan-taint-check-plugin from 1.5.x to 2.0.1 
Change-Id: I08d38872db05669aa6200fefb410d144fccf2427
 2019-07-11 10:03:03 +00:00
libraryupgrader d763637282 build: Updating mediawiki/mediawiki-phan-config to 0.6.1 
Change-Id: Idd8530a20cafdf40a32c7bfddbd9ad07c23d15f0
 2019-06-10 08:58:06 +00:00
Umherirrender b9902ec775 Add phan 
Change-Id: I3557e798690f895bd7e8b3caf49d788c66a6a374
 2019-05-31 19:29:40 +00:00
libraryupgrader 54d1b77401 build: Updating mediawiki/mediawiki-codesniffer to 24.0.0 
Change-Id: I30daab715920757ec96350c9933fc18c887972c4
 2019-02-06 23:08:22 +00:00
libraryupgrader ed9c173acb build: Updating mediawiki/mediawiki-codesniffer to 23.0.0 
Change-Id: Ie5b4969c00d292761a70e90eee420b0fc183c7b0
 2018-11-16 04:38:00 +00:00
libraryupgrader aff3656524 build: Updating mediawiki/phan-taint-check-plugin to 1.5.0 
Change-Id: I820820a844d23e521c77b99c7a336fcbbccce716
 2018-09-08 03:46:01 +00:00
libraryupgrader 2d9dadb4dd build: Updating mediawiki/phan-taint-check-plugin to 1.4.0 
Change-Id: I97e89e5dcaf980f058608248bc0662a512eed84d
 2018-09-06 15:56:09 +00:00
James D. Forrester 087a973f30 build: Bump mediawiki-codesniffer to 22.0.0 
Change-Id: I448e8d368d76eee40fe57c89428a0ce472c48d01
 2018-09-06 11:48:25 +00:00
Kunal Mehta fc05cfe92a Configure phan-taint-check-plugin 
The plugin checks and flags potential security issues (XSS, SQLi, etc.)
using static analysis.

See <https://www.mediawiki.org/wiki/Phan-taint-check-plugin> for more
details.

Bug: T201219
Change-Id: I32513cdc3ce577b8188176294ba09cbd680a3e52
 2018-08-03 21:05:16 -07:00
libraryupgrader c459081dbb build: Updating mediawiki/mediawiki-codesniffer to 21.0.0 
The following sniffs are failing and were disabled:
* MediaWiki.Commenting.FunctionAnnotations.UnrecognizedAnnotation

Change-Id: Ia23cd3d8952708d3037f0bfbde6079bbd0a6fbc7
 2018-07-27 09:00:46 +00:00
libraryupgrader 2587469834 build: Updating mediawiki/mediawiki-codesniffer to 20.0.0 
Change-Id: I4385a05df9b40d4da19f280bd211e8c261d22c41
 2018-05-26 04:26:21 +00:00
libraryupgrader d53d01b97d build: Updating mediawiki/mediawiki-codesniffer to 18.0.0 
The following sniffs now pass and were enabled:
* MediaWiki.Commenting.FunctionComment.WrongStyle
* MediaWiki.Commenting.LicenseComment.InvalidLicenseTag

Depends-On: I4e9749d8058cd6e55c7a4818d01c9d10a9d62efc
Change-Id: Ic4fbcb9ca724e940c102ac6feee0740b583cb14e
 2018-04-14 22:39:05 +00:00
libraryupgrader 5a076f94aa build: Updating mediawiki/mediawiki-codesniffer to 17.0.0 
The following sniffs are failing and were disabled:
* MediaWiki.Commenting.LicenseComment.InvalidLicenseTag

The following sniffs now pass and were enabled:
* MediaWiki.Commenting.FunctionComment.MissingParamComment

Change-Id: Ia8000677263c4150d4900526bcba1c0602664b8e
 2018-03-29 03:44:44 +00:00
libraryupgrader 3d9083d7aa build: Updating jakub-onderka/php-parallel-lint to 1.0.0 
Change-Id: I42697ab80e81e074466c0440c47498f57c403e75
 2018-03-09 15:59:30 +00:00
libraryupgrader bdf1661998 build: Updating mediawiki/mediawiki-codesniffer to 16.0.1 
Change-Id: I79b047adeb4b15f57b2ed27115be9dae66ee9ad7
 2018-02-25 09:32:40 +00:00