wikimedia/mediawiki-extensions-Math
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Math synced 2024-11-13 17:56:59 +00:00
Code Issues Packages Projects Releases Wiki Activity
3043 commits 171 branches 0 tags 86 MiB
Commit graph

9 commits

Author SHA1 Message Date
Umherirrender abbac13038 build: Resolve MediaWikiNoEmptyIfDefined suppression 
Follow-Up: I7b9a7e20a5d177edfcba3c76a0d65228497e0d79
Change-Id: I3d468497b53fce67d643d0961fe3659e739def71
 2024-02-14 22:04:53 +01:00
libraryupgrader aad088158d build: Updating mediawiki/mediawiki-phan-config to 0.14.0 
Change-Id: I7b9a7e20a5d177edfcba3c76a0d65228497e0d79
 2024-02-14 07:42:39 -05:00
Stegmujo 4b30c9701a Add Intent to WikiTexVC 
* make intent annotations possible in TeX math items
* introduce a new command to annotate as well as node and translation
* Adds a parser expression grammar to validate intent attributes for
* it basically adds the previous, now abandoned changeset: https://gerrit.wikimedia.org/r/c/mediawiki/extensions/Math/+/949964

Bug: T327098

Change-Id: I21adfac4c3580e238f059721fdf0c1566cb4e857
 2023-12-21 14:28:18 +00:00
Stegmujo a82727f61f
Rename TexVC in PHP to WikiTexVC 
Change-Id: Idd98205ea291640b01946374f15c807da7fc26e5
 2023-11-24 16:41:30 +01: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
physikerwelt (Moritz Schubotz) efe35e9a09 build: Remove phan warning 
MathLaTeXML is now in src. Thus the extra phan config is
no longer required.

Change-Id: Iceddc2582893fb40d02abc3f406db42c740499b8
 2021-08-20 04:09:00 +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
Moritz Schubotz (physikerwelt) 4a7bc3ee31 Add special page and API endpoint that show information from math Wikibase items 
Add a special page and an API endpoint to fetch data from Wikibase
items with a given qID. The special page summarizes information from
Wikibase. The API endpoint allows to request the information
directly. Both, the API endpoint and the special page, fetch the data
from a new helper class for consistency.

Bug: T208758
Bug: T229939
Change-Id: Idd22057a88312bf1a1cb5546d0a6edca5678d80d
 2019-11-14 23:42:35 +09:00
Umherirrender b9902ec775 Add phan 
Change-Id: I3557e798690f895bd7e8b3caf49d788c66a6a374
 2019-05-31 19:29:40 +00:00