jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/331672 )
Change subject: Change chemistry tag name from ce to chem
......................................................................
Change chemistry tag name from ce to chem
<ce> will still work, but it's deprecated.
Bug: T153606
Change-Id: Idef1078b188f2b945c9e1f8f66096779cc37133f
---
M Math.hooks.php
1 file changed, 4 insertions(+), 2 deletions(-)
Approvals:
Reedy: Looks good to me, approved
Amire80: Looks good to me, but someone else must approve
jenkins-bot: Verified
diff --git a/Math.hooks.php b/Math.hooks.php
index 8f0ff4a..2950b66 100644
--- a/Math.hooks.php
+++ b/Math.hooks.php
@@ -166,7 +166,9 @@
*/
static function onParserFirstCallInit( $parser ) {
$parser->setHook( 'math', [ 'MathHooks', 'mathTagHook' ] );
- $parser->setHook( 'ce', [ 'MathHooks', 'ceTagHook' ] );
+ // @deprecated the ce tag is deprecated in favour of chem cf.
T153606
+ $parser->setHook( 'ce', [ 'MathHooks', 'chemTagHook' ] );
+ $parser->setHook( 'chem', [ 'MathHooks', 'chemTagHook' ] );
return true;
}
@@ -411,7 +413,7 @@
* @param Parser $parser
* @return array
*/
- static function ceTagHook( $content, $attributes, $parser ) {
+ static function chemTagHook( $content, $attributes, $parser ) {
$attributes['chem'] = true;
return MathHooks::mathTagHook( '\ce{' . $content . '}',
$attributes, $parser );
}
--
To view, visit https://gerrit.wikimedia.org/r/331672
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Idef1078b188f2b945c9e1f8f66096779cc37133f
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/extensions/Math
Gerrit-Branch: master
Gerrit-Owner: Physikerwelt <w...@physikerwelt.de>
Gerrit-Reviewer: Amire80 <amir.ahar...@mail.huji.ac.il>
Gerrit-Reviewer: Esanders <esand...@wikimedia.org>
Gerrit-Reviewer: Legoktm <lego...@member.fsf.org>
Gerrit-Reviewer: Reedy <re...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
