jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/380592 )
Change subject: Archive Extension:Phalanx
..
Archive Extension:Phalanx
Bug: T176665
Change-Id: Iefb72bca99e3768a270058a0d66b9c452613eb5e
---
M groups/MediaWiki/mediawiki-extensions.txt
1 file changed, 0 insertions(+), 4 deletions(-)
Approvals:
Raimond Spekking: Looks good to me, approved
SamanthaNguyen: Looks good to me, but someone else must approve
jenkins-bot: Verified
diff --git a/groups/MediaWiki/mediawiki-extensions.txt
b/groups/MediaWiki/mediawiki-extensions.txt
index 367c0aa..0c6d5ff 100644
--- a/groups/MediaWiki/mediawiki-extensions.txt
+++ b/groups/MediaWiki/mediawiki-extensions.txt
@@ -1971,10 +1971,6 @@
PGF TikZ
-# Abandoned: https://phabricator.wikimedia.org/T70974#2055323
-#Phalanx
-#aliasfile = Phalanx/Phalanx.alias.php
-
PHP Excel
Php Highlight
--
To view, visit https://gerrit.wikimedia.org/r/380592
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Iefb72bca99e3768a270058a0d66b9c452613eb5e
Gerrit-PatchSet: 2
Gerrit-Project: translatewiki
Gerrit-Branch: master
Gerrit-Owner: MarcoAurelio
Gerrit-Reviewer: Raimond Spekking
Gerrit-Reviewer: SamanthaNguyen
Gerrit-Reviewer: jenkins-bot <>
___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits