Raimond Spekking has submitted this change and it was merged. Change subject: [MathSearch] Remove deleted keys ......................................................................
[MathSearch] Remove deleted keys https://gerrit.wikimedia.org/r/#/c/229363/1 Change-Id: I2e470ea034af2e17b87933de7800ecef38d14614 --- M groups/MediaWiki/mediawiki-extensions.txt 1 file changed, 0 insertions(+), 2 deletions(-) Approvals: Raimond Spekking: Verified; Looks good to me, approved diff --git a/groups/MediaWiki/mediawiki-extensions.txt b/groups/MediaWiki/mediawiki-extensions.txt index 1c692d0..44d9a99 100644 --- a/groups/MediaWiki/mediawiki-extensions.txt +++ b/groups/MediaWiki/mediawiki-extensions.txt @@ -1353,8 +1353,6 @@ Math Search aliasfile = MathSearch/MathSearch.alias.php -ignored = mathmode_0, mathmode_1, mathmode_2, mathmode_3, mathmode_4 -ignored = mathmode_5, mathmode_6, mathmode_7, mathmode_7+ Media Functions -- To view, visit https://gerrit.wikimedia.org/r/229395 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I2e470ea034af2e17b87933de7800ecef38d14614 Gerrit-PatchSet: 1 Gerrit-Project: translatewiki Gerrit-Branch: master Gerrit-Owner: Raimond Spekking <[email protected]> Gerrit-Reviewer: Raimond Spekking <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
