Raimond Spekking has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/229395

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(-)


  git pull ssh://gerrit.wikimedia.org:29418/translatewiki 
refs/changes/95/229395/1

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: newchange
Gerrit-Change-Id: I2e470ea034af2e17b87933de7800ecef38d14614
Gerrit-PatchSet: 1
Gerrit-Project: translatewiki
Gerrit-Branch: master
Gerrit-Owner: Raimond Spekking <[email protected]>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to