Raimond Spekking has submitted this change and it was merged.

Change subject: Remove deleted repos
......................................................................


Remove deleted repos

https://gerrit.wikimedia.org/r/#/c/315952/
https://gerrit.wikimedia.org/r/#/c/315953/

Change-Id: I9a153194f8c42a7bd106bad1057e0996764a4ef7
---
M groups/MediaWiki/mediawiki-extensions.txt
1 file changed, 2 insertions(+), 8 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 fe31987..eb83956 100644
--- a/groups/MediaWiki/mediawiki-extensions.txt
+++ b/groups/MediaWiki/mediawiki-extensions.txt
@@ -796,9 +796,6 @@
 
 CSS
 
-# Unused, functionality moved to core: 
https://gerrit.wikimedia.org/r/#/c/302639/
-# Custom Data
-
 Custom Page
 
 # Unused on WMF since 8/2012 and seems unmaintened. 
https://gerrit.wikimedia.org/r/#/c/18201/
@@ -1159,6 +1156,8 @@
 Global Blocking
 aliasfile = GlobalBlocking/GlobalBlocking.alias.php
 ignored = globalblocking-expiry-options
+
+# Global Contribs // no qqq, inconsistent prefix keys, partly identical with 
Global Contributions
 
 Global Contributions
 aliasfile = GlobalContributions/GlobalContributions.alias.php
@@ -1880,8 +1879,6 @@
 
 PCR GUI Inserts
 
-# Pdf Book // Removal per Task 143684
-
 Pdf Export
 aliasfile = PdfExport/PdfExport.i18n.alias.php
 ignored = pdf_fontface_default, pdf_fontface_options
@@ -2068,9 +2065,6 @@
 
 Right Functions
 optional = rightfunctions-rest1, rightfunctions-rest2, rightfunctions-rest3, 
rightfunctions-sep
-
-RPED
-ignored = rped-wikipedia-url
 
 RSS
 ignored = rss-item

-- 
To view, visit https://gerrit.wikimedia.org/r/315989
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I9a153194f8c42a7bd106bad1057e0996764a4ef7
Gerrit-PatchSet: 1
Gerrit-Project: translatewiki
Gerrit-Branch: master
Gerrit-Owner: Raimond Spekking <raimond.spekk...@gmail.com>
Gerrit-Reviewer: Raimond Spekking <raimond.spekk...@gmail.com>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to