wikimedia/mediawiki-extensions-Math
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Math synced 2024-12-01 02:36:47 +00:00
Code Issues Packages Projects Releases Wiki Activity
2106 commits 20 branches 20 tags 88 MiB
Commit graph

54 commits

Author SHA1 Message Date
libraryupgrader aa99896701 build: Updating npm dependencies 
* 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: 2.8.8 → 3.0.8
  * https://npmjs.com/advisories/1677 (CVE-2021-23362)
* ua-parser-js: 0.7.21 → 0.7.28
  * https://npmjs.com/advisories/1679 (CVE-2021-27292)
* postcss: 7.0.35 → 8.2.15
  * https://npmjs.com/advisories/1693 (CVE-2021-23368)

Change-Id: I29d3eb33e8aa6ac62fe84ea93b2d14cdc3b1fb8b
 2021-05-11 12:45:13 +00:00
Željko Filipin 5c37603c23 selenium: Add JUnit reporter 
JUnit reporter is required to create the XML file that Jenkins uses to
create Test Result Trend chart for selenium-daily-beta-Math
job.

Bug: T214686
Change-Id: Ic2373f3b89946cf191cfcb1dd9ed99608deb660c
 2021-04-29 15:56:42 +02:00
libraryupgrader d0c06ea19f build: Updating eslint-config-wikimedia to 0.20.0 
Change-Id: I2d9f2665a2ce82abbe03c61c284c14d1d57bdb41
 2021-04-17 02:59:17 +00:00
libraryupgrader c592ad866c build: Updating eslint-config-wikimedia to 0.19.0 
Additional changes:
* eslint: Renamed `wikimedia/client` profile to `client-es5` (T277085).

Change-Id: I1d86e23f42de9c7415defd1a3249162d0f0cc22a
 2021-03-14 01:38:40 +00:00
libraryupgrader f2edc70021 build: Updating eslint-config-wikimedia to 0.18.2 
Change-Id: I8ac79545d8941943bcc470f7fcef5323a588c8a5
 2021-03-07 04:54:19 +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
Moritz Schubotz (physikerwelt) 31aa824cc9 Remove RESTbase check compatibility endpoint 
Change-Id: I8c539e96519e0f23ed606403ed88370edde70764
 2020-11-24 19:24:41 +01:00
libraryupgrader a956c73b3e build: Updating npm dependencies 
* grunt-stylelint: 0.15.0 → 0.16.0
* stylelint-config-wikimedia: 0.10.1 → 0.10.3

Change-Id: Icaed7d1c4b2c4f68610308f46ce4d65359432f77
 2020-11-22 06:01:29 +00:00
Clara Andrew-Wani 510e16e1d8 Update api-testing to 1.4.2 
Change-Id: I6ad2dd62be31f9ebee13cf81159242daebf4389e
 2020-11-10 13:05:35 -05:00
Clara Andrew-Wani d1315079f2 Update api-testing package and test to use updated methods 
Change-Id: I95f3fe36d41c71ddb4fb928a3b1878fb88fc9458
 2020-11-05 16:53:18 -05:00
libraryupgrader dc1ce191bf build: Updating npm dependencies 
* eslint-config-wikimedia: 0.16.2 → 0.17.0
* grunt: 1.2.1 → 1.3.0
* bl: 4.0.2 → 4.0.3
  * https://npmjs.com/advisories/1555

Change-Id: Ic1b81aa1ba369fc638e3a583f7deb8cb2604cdaa
 2020-09-19 21:23:38 +00:00
libraryupgrader ed4cc57462 build: Updating grunt to 1.2.1 
Change-Id: I428df610517580859f2307650fc2314c71389742
 2020-07-18 16:11:06 +00:00
libraryupgrader eb73dedbc4 build: Updating eslint-config-wikimedia to 0.16.2 
Change-Id: Icc8a07bc85108487154499fdf32d7e6b063186e0
 2020-07-16 00:59:37 +00:00
Ed Sanders e489beac5b build: Update eslint-config-wikimedia to 0.16.1 
Change-Id: I9c2de727e1a4c7657ccca4dd22a175bfad06a852
 2020-06-16 15:59:33 +01:00
vidhi-mody 7e6f695989 Selenium: Update to WebdriverIO v6 
Update NPM packages: @wdio/* and webdriverio.

Bug: T253791
Change-Id: Iaeaa64ab85a3fcbfb12038fd1736619d1da484a6
 2020-06-04 17:23:08 +05:30
vidhi-mody cbd3fdbdcc Selenium: Update to WebdriverIO v5 
Update NPM packages: webdriverio, wdio-mediawiki.
Update ESlint configuration.

Replace NPM packages:
- wdio-mocha-framework with @wdio/mocha-framework.
- wdio-spec-reporter with @wdio/spec-reporter.

New NPM packages: @wdio/cli, @wdio/local-runner, @wdio/sync.

Replace:
- `browser.element` with `$`.
- `chromeOptions` with `'goog:chromeOptions'`.
- `password` with `mwPwd`.
- `username` with `mwUser`.

Bug: T253791
Change-Id: Ief27154b2e10621b4dce51c634a075cd381021f8
 2020-06-03 01:03:56 +05:30
Moritz Schubotz (physikerwelt) 7c41bc19f8 Add mathoid check endpoint to REST API 
Expose the math checking service via the REST API.

Port the behaviour of the RESTbase check endpoint to a new endpoint
that uses the MediaWiki API.

* this endpoint does not (yet) provide actual rendering (only checking)
* consequently it does not supply the x-resource-location header

Bug: T252390
Change-Id: I28bcb9a925953062b43cd3481536784431edcd8a
 2020-06-01 12:11:24 -07: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 ad1fb25476 build: Updating grunt-banana-checker to 0.9.0 
Change-Id: Iefd12e3cd3eb738cc663b7450a658efd0566cdfe
 2020-04-19 11:58:32 +00:00
libraryupgrader bcf50cb38a build: Updating npm dependencies 
* minimist: 0.0.8 → 1.2.5
  * https://npmjs.com/advisories/1179
* acorn: 7.1.1 → 7.1.1
  * https://npmjs.com/advisories/1488

Change-Id: Ieb016bc74a9206a4fdac4507a4a47957ccfca2c5
 2020-03-19 00:07:01 +00:00
libraryupgrader cb562ba649 build: Updating npm dependencies 
* grunt-stylelint: 0.13.0 → 0.14.0
* stylelint-config-wikimedia: 0.8.0 → 0.9.0

Change-Id: I1d0d8d387e5983fadaa915319b7cace5626ee91d
 2020-02-20 23:06:21 +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
Ed Sanders e9bd09f2b3 build: Update linters 
Change-Id: I9fc31886e09a0dc0a77449907054136a61eda248
 2019-11-01 16:33:18 -07:00
Ed Sanders 15352b3751 build: Update eslint-config-wikimedia 
Change-Id: I0d650a842da003693275ecee565cf923dc2605d6
 2019-10-04 15:38:36 +01:00
Ed Sanders 085ee7dcec build: Update linters 
Change-Id: I0d6b323864a0e24f72ec6a823611927ea66ce025
 2019-09-17 14:46:05 +01:00
libraryupgrader 2227294433 build: Updating npm dependencies 
* lodash: 4.17.11 → 4.17.15
  * https://npmjs.com/advisories/1065
  * CVE-2019-10744
* wdio-mediawiki: 0.1.7 → 0.4.0

Change-Id: I98a1660c1559100f2b374d13190c84cc4792ead8
 2019-08-02 11:10:55 +00:00
libraryupgrader cbcbce6972 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: Ifecf03dd4af64ea0d78392950770d53dc2f3d876
 2019-06-08 13:28:17 +00:00
James D. Forrester 931c5d4bd6 build: Upgrade wdio-mocha-framework to be node10 compatible 
Change-Id: I5b51e325b3f5d9978da8deeae979f820a57eaa77
 2019-06-03 14:48:32 -07:00
James D. Forrester 67d67dea7c build: Upgrade eslint-config-wikimedia 0.12.0, drop grunt-jsonlint 
Change-Id: Iae12ae140e1e10d97016bca5cf329d80da640343
 2019-05-06 16:35:47 -07:00
James D. Forrester 0eac1464c4 build: Upgrade eslint-config-wikimedia from 0.10.0 to 0.11.0 
Change-Id: Ia1dc32374abf4756b2d2333aa087a28b6b282ebd
 2019-04-03 15:29:36 -07:00
Volker E 420c9102ff build: Update 'stylelint-config-wikimedia' to v0.5.0 
Change-Id: I0b9daa934b6aaa733324e77c42f8c13107beff8c
 2019-01-09 14:54:34 -08:00
Ed Sanders 94335db392 build: Update eslint-config-wikimedia to 0.10.0 
Change-Id: Iec4ea5f8e74ad6f73232b01bdca3b19d93e36dfb
 2019-01-08 23:17:15 +00:00
Ed Sanders 5f7f535c28 Update eslint-config-wikimedia to 0.9.0 
Change-Id: I4c7dcb1b3cd3d03e3ea3d1e17bfcf63f3b553e50
 2018-11-30 21:08:28 +00:00
libraryupgrader 9b2e2cab9b build: Updating npm dependencies for security issues 
* Updated wdio-mocha-framework to 0.6.3, addressing:
  * https://npmjs.com/advisories/146
  * CVE-2017-16042
  * https://npmjs.com/advisories/534
  * CVE-2017-16137
* 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

Change-Id: Ia85e97df665d78e36ea0db95274e1a22f4b4dc24
 2018-10-13 18:23:32 +00:00
Ed Sanders d2d92e16f9 build: Update linters 
Change-Id: I0ef2bb7adb4d33ce2ad70199afab58bc2b075e54
 2018-09-13 21:41:51 +01:00
Željko Filipin 42da15f63a Selenium: Simplify selenium-daily NPM script 
selenium-daily now just calls selenium-test. Environment variables are set up in
the Jenkins job, so they are removed.
selenium-daily might seem redundant, but it provides flexibility. In case a
repository does not want to run all tests daily, that's easily fixed by updating the
selenium-daily script.

Bug: T188742
Change-Id: I7dba2c80ab8de641a012aa92bbd8453bc24c7b14
 2018-09-03 15:29:50 +00:00
Željko Filipin 9085447f52 Selenium: add selenium-daily NPM script 
The script is needed to run the new Docker-based Jenkins job that runs daily and targets beta cluster.

Change-Id: Ia9ed4f7314570f886dabe7702418068971656aa5
Job: Math-npm-browser-run-selenium-daily-node-6-docker
Bug: T188742
 2018-07-13 18:59:34 +02:00
Željko Filipin befe4af465 Selenium tests for Math 
* Implement a basic tests that renders $2+3$

Bug: T162455
Change-Id: Ic605bd0d934d0f138390145fa5f5bddaa8f8e578
 2018-05-19 17:04:22 +00:00
Ed Sanders 4831953040 build: Update linters 
Change-Id: I7e93fa1af8f1f3d3bee9e4dd5c9d65142d6cf793
 2018-02-04 22:08:31 +00:00
Ed Sanders 2fe32f6b5d build: Update linters 
Change-Id: I3a6d0898ad79c4e5dc1663280f5d18702c286fb8
 2018-01-29 17:47:03 +00:00
Ed Sanders 24a024ee8e build: Upgrade grunt-eslint from 19.0.0 to 20.0.0, and other linters 
Change-Id: I4a8b9ece024164053e69a2a8f6fbd6406737d373
 2017-07-18 13:04:49 +01:00
Ed Sanders 6363206379 build: Update eslint to 0.4.0 
Change-Id: I991df38973cac0dfc018bca925578648be6ee389
 2017-05-04 21:52:38 +01:00
Umherirrender 317df66119 Use tabs to indent in json 
Change-Id: I60c586418679fd5709aef4b9e23e814c45dfb35b
 2017-03-31 23:47:20 +02:00
James D. Forrester 6a6c68b387 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 15:30:18 -08:00
James D. Forrester a1292f458e build: Bump eslint-config-wikimedia to v0.3.0 (already passes) 
Change-Id: I84a3a6c550a4989c6ef584b2289272204d1b6eb4
 2016-11-15 16:37:57 -08:00
Ed Sanders f66ef920fb build: Replace jscs and jshint with eslint 
Change-Id: I95f59d9bef6bb8fec69b454dc8efe4b4c7e40805
 2016-10-28 11:11:26 -07:00
James D. Forrester fda31a802f build: Fix stylelint devDependencies 
Bug: T142235
Change-Id: I45021b2cd1decdc4cd9a9e9908d132cc1f6d795b
 2016-08-05 11:59:39 -07:00
Ed Sanders 7ce033ebe7 Remove grunt-cli 
Now included by grunt.

Change-Id: I79f2533f9e245e85728ec34c3094780c769a954a
 2016-05-24 14:24:51 +01:00
Ed Sanders f370bac1a4 Update stylelint config version 
Change-Id: I078ca58a605d6784c4673373911ab89d55c78c16
 2016-05-24 13:54:49 +01:00
Ed Sanders e2139b1657 build: Introduce stylelint to lint for css errors 
Also update the rest of the CI world whilst we're at it.

Change-Id: Iaad2867797cccb2dd0df7758e448b553859fa62c
 2016-05-19 19:16:00 +01:00