Raimond Spekking has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/355486 )
Change subject: Remove 2 deleted repos ...................................................................... Remove 2 deleted repos https://gerrit.wikimedia.org/r/#/c/355464/ https://gerrit.wikimedia.org/r/#/c/355466/ Change-Id: I2cf2e386e1ef67da74ed08b390dd190b1ae9cdd0 --- M groups/MediaWiki/mediawiki-extensions.txt 1 file changed, 0 insertions(+), 5 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 83877ed..5fab8dd 100644 --- a/groups/MediaWiki/mediawiki-extensions.txt +++ b/groups/MediaWiki/mediawiki-extensions.txt @@ -33,9 +33,6 @@ # Repo is archived # Accessibility Simulation -# Disabled 2015-07-21 afters SUL finished -# Account Audit - Account Info aliasfile = AccountInfo/AccountInfo.alias.php ignored=accountinfo-none @@ -1836,8 +1833,6 @@ Page In Cat Page Language - -Page Language Api Page Name Formula -- To view, visit https://gerrit.wikimedia.org/r/355486 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I2cf2e386e1ef67da74ed08b390dd190b1ae9cdd0 Gerrit-PatchSet: 1 Gerrit-Project: translatewiki Gerrit-Branch: master Gerrit-Owner: Raimond Spekking <[email protected]> Gerrit-Reviewer: Raimond Spekking <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
