wikimedia/mediawiki-extensions-Math
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Math synced 2024-11-23 23:25:02 +00:00
Code Issues Packages Projects Releases Wiki Activity
3017 commits 172 branches 0 tags 86 MiB
Commit graph

85 commits

Author SHA1 Message Date
Željko Filipin d35c815517 selenium: Delete unneeded @wdio/dot-reporter npm package 
As far as I can see, the package was introduced by mistake in 951dec1.

CI works just fine when the package is removed.

Bug: T280331
Change-Id: I17330cb7786df0739a18c482360a56d733a67f41
 2024-08-30 17:43:47 +02:00
Ed Sanders 16f8fdc161 build: Update linters 
Change-Id: I3455051bbaebd19febaa61217c340826fed8f5c0
 2024-06-21 16:21:11 +01:00
Ed Sanders 008db7ad08 Update stylelint-config-wikimedia to 0.17.1 
Change-Id: Ibb381be409fc34208078dd1e5c3b418465ea7692
 2024-06-07 15:30:59 +01:00
Ed Sanders 39c15f76f9 build: Update eslint-config-wikimedia to 0.28.0 and autofix 
Change-Id: I02045047af1f392ae6d6f08e422024b0e9386ccf
 2024-06-07 15:24:08 +01:00
libraryupgrader 258bc0c12c build: Updating grunt-banana-checker to 0.13.0 
Change-Id: If0707bae82c50a9947a1d903318b998c0bd48767
 2024-05-18 16:44:47 +00:00
libraryupgrader 5380b7719b build: Updating dependencies 
composer:
* mediawiki/minus-x: 1.1.1 → 1.1.3

npm:
* grunt-banana-checker: 0.11.1 → 0.12.0

Change-Id: I768830ecc90b1143e1f0fda5ae2849d0bdceeba0
 2024-05-11 01:57:47 +00:00
libraryupgrader ababd67378 build: Updating eslint-config-wikimedia to 0.27.0 
Change-Id: I21548e8926bdc081ce41fdc1245cb4a769234917
 2024-04-20 04:25:16 +00:00
libraryupgrader f382be8562 build: Updating npm dependencies 
npm:
* eslint-config-wikimedia: 0.25.1 → 0.26.0
* grunt-banana-checker: 0.11.0 → 0.11.1
* wdio-mediawiki: 2.1.0 → 2.5.0
* get-func-name: 2.0.0 → 2.0.2
  * https://github.com/advisories/GHSA-4q6p-r6v2-jvc5
* postcss: 8.4.30 → 8.4.35
  * https://github.com/advisories/GHSA-7fh5-64p2-3v2j

Change-Id: I5b01fa01c11a57a180b50bf2f8b3275e69d75f1c
 2024-02-13 20:44:49 +00:00
Ed Sanders e1f5f5487f build: Update linters 
Change-Id: I19e2482fa377342b15733f5ef0bebe18e3238cef
 2023-09-27 16:07:55 +01:00
libraryupgrader 5f372144f7 build: Updating npm dependencies 
* grunt-banana-checker: 0.10.0 → 0.11.0
* stylelint-config-wikimedia: 0.14.0 → 0.15.0

Change-Id: I09c6289cfe727fb2d545cbeeeac1a32c45ce9531
 2023-06-02 14:27:02 +00:00
libraryupgrader 6f89b61bca build: Updating eslint-config-wikimedia to 0.25.0 
Change-Id: I561ffafc759f6d42f1203e99c62fa33aff6bde97
 2023-05-04 06:05:24 +00:00
jenkins-bot 16b50090d4 Merge "build: Upgrade api-testing from 1.5.0 to 1.6.0" 2023-04-30 12:33:03 +00: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
James D. Forrester 1211b68919 build: Upgrade api-testing from 1.5.0 to 1.6.0 
Bug: T333134
Change-Id: I5eb7e7f2462b7cb116423b1f504bbaa50a5fa70b
 2023-04-28 15:49:02 +00:00
libraryupgrader aa15ec51ce build: Updating npm dependencies 
* grunt: 1.5.3 → 1.6.1
* stylelint-config-wikimedia: 0.13.0 → 0.14.0

Change-Id: I7e34276eb21557c2c2e3e64fb919431b1e1039fc
 2023-03-31 00:33:23 +00:00
Umherirrender 4e08e000e0 build: Updating npm dependencies 
* eslint-config-wikimedia: 0.22.1 → 0.24.0

Resolve newly detected error:
* mediawiki/no-nodelist-unsupported-methods

Change-Id: If43479e88a3d39f507541f3f6b53f23004bd0e1e
 2023-03-29 21:24:34 +00:00
Vaughn Walters a95a7b6bc2 selenium: Remove webdriverio npm package from the Math extension 
The `webdriverio` package does not need to be an explicit dependency.
It is a dependency of `@wdio/cli`.

Bug: T325059
Change-Id: I772e7680ba1235e896651fa15b25cd8bc976bde1
 2023-01-13 11:51:48 -06:00
Moritz Schubotz (physikerwelt) 81fa5b0c97
Fix significant typo in grammar 
* Uq and Dq was mixed
* Simplify regeneration of grammar for node developers
* Speed up npm test by ignoring local test json files

Change-Id: Iec273dcc967be46d3df52260fc56f1969667e497
 2022-12-30 16:58:39 +01:00
libraryupgrader 6d70e134b8 build: Updating grunt-stylelint to 0.18.0 
Change-Id: I6dc890fdbcc30116c39cc4bf4130b7aa9457b1ae
 2022-11-13 06:02:16 +00:00
Stegmujo d4b9edc87e Add Builder for creating Parser.php 
This is the first commit in a series of commits that convert texvcjs to PHP (called TexVC-PHP).
Please refer to the Gerrit history of this commit, which includes early versions of a full TexVC-PHP grammar, tests, and related files.

Bug: T312528
Change-Id: Id96a4b1b55e3959aab81f4ba436c5ac125f2a1bb
 2022-10-18 13:39:10 +00:00
libraryupgrader c82e9291d3 build: Updating npm dependencies 
* grunt-banana-checker: 0.9.0 → 0.10.0
* api-testing: ^1.4.2 → 1.5.0
* grunt: 1.5.2 → 1.5.3

Change-Id: I3939631b1cc2423625ce2dadda0b396bb1e6d748
 2022-10-07 00:10:44 +00:00
AndreG-P 951dec1fab
REST API endpoint for popups 
Implement a rest API endpoint that displays the popup that is currently
only shown on a special page.

Code was revived from Idd22057a88312bf1a1cb5546d0a6edca5678d80d

Bug: T288076
Bug: T233099
Change-Id: I65fcbf25ac5818f6c649daf494c719921247e8f5
 2022-08-05 17:47:44 +09:00
Željko Filipin 98c82d5b57 selenium: Use @wdio/spec-reporter 
Dot reporter provides no information on which tests suites and tests are
executed. Spec reporter is more verbose but it also provides much more
information that is useful in general, but especially when debugging.
For example, which tests are executed and which tests are skipped.

Bug: T280331
Change-Id: Ie418ba2fe0e6c236a1990a528f9957554cc0d575
 2022-05-24 14:00:05 +02: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
osamaahmed17 099e327cc6 selenium: Refactor WebdriverIO tests from sync to async mode 
WebdriverIO has dropped support of sync mode due to breaking changes in Chromium, hence all tests have been changed to async.

Update npm packages: @wdio/*, wdio-mediawiki and webdriverio because async mode needs at least webdriverio v7.9.

Remove npm package: @wdio/sync.

Bug: T293076
Change-Id: I35b3b29c09e80306d14a12c5194efeead22a9804
 2022-02-01 01:24:19 +11:00
Ed Sanders a5e976baee build: Update eslint-config-wikimedia to 0.21.0 
Change-Id: Ia97b44767e31fe1c2d075e3627c7f7bea0845751
 2021-11-15 16:27:57 +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 d3157775eb build: Updating stylelint-config-wikimedia to 0.11.1 
Change-Id: Iac691192671e13e35c1a370c60b482bca04f99f2
 2021-09-04 21:00:07 +00:00
sahil e371e23dc1 selenium: Update wdio-mediawiki 
wdio-mediawiki v1.1.1:
- Includes wdio-defaults.conf.js file that vastly simplifies wdio.conf.js.
- Replaces @wdio/spec-reporter with @wdio/dot-reporter.
- Introduces video recording.

Bug: T283597
Change-Id: Id488159c2a5b12d1b44a7037fa3038a2a541b2f1
 2021-07-28 16:43:40 +05:30
sahil eb850da0e4 selenium: Upgrade WebdriverIO to v7 
Update npm packages: @wdio/* and webdriverio.

Bug: T274579
Change-Id: I3ad29933c91fdcbf2382318302746daf66fffca7
 2021-05-25 17:46:46 +00:00
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