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

Merge "Treat colon as operator"

Browse source
This commit is contained in:
jenkins-bot 2024-11-10 21:43:02 +00:00 committed by Gerrit Code Review
parent a7f8306d18 fcb667f733
commit 5fbcff7819
2 changed files with 7 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/WikiTexVC/MMLmappings/OperatorDictionary.php
View file

@ -33,6 +33,7 @@ class OperatorDictionary {
'-=' => [ " exports.MO.BIN4" ],
'->' => [ " exports.MO.BIN5" ],
'.' => [ " [0, 3], MmlNode_js_1.TEXCLASS.PUNCT\"], { separator=> [ true }]" ],
':' => [ " [1, 2], MmlNode_js_1.TEXCLASS.REL\"], null]" ],
'/' => [ " exports.MO.ORD11" ],
'//' => [ " OPDEF(1\"], 1)" ],
'/=' => [ " exports.MO.BIN4" ],

6
tests/phpunit/unit/WikiTexVC/Nodes/LiteralTest.php
View file

@ -100,4 +100,10 @@ class LiteralTest extends MediaWikiUnitTestCase {
'double vertical line should render as special operator.' );
}
public function testColon() {
$n = new Literal( ':' );
$this->assertStringContainsString( ':</mo>', $n->renderMML(),
'colon should render as special operator.' );
}
}