jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/377065 )
Change subject: Archive Extension:Ads ...................................................................... Archive Extension:Ads Bug: T175495 Change-Id: I5017951909d7233bec62ef2646f39d5a2882e976 --- M groups/MediaWiki/mediawiki-extensions.txt 1 file changed, 0 insertions(+), 2 deletions(-) Approvals: Raimond Spekking: Looks good to me, approved jenkins-bot: Verified Zoranzoki21: Looks good to me, but someone else must approve diff --git a/groups/MediaWiki/mediawiki-extensions.txt b/groups/MediaWiki/mediawiki-extensions.txt index 7a3e2f3..80a2a15 100644 --- a/groups/MediaWiki/mediawiki-extensions.txt +++ b/groups/MediaWiki/mediawiki-extensions.txt @@ -57,8 +57,6 @@ Admin Links aliasfile = AdminLinks/AdminLinks.alias.php -Ads - Advanced Search ignored = advancedSearch-filesize-equals-symbol, advancedSearch-filesize-greater-than-symbol, advancedSearch-filesize-smaller-than-symbol optional = advancedsearch-filetype-bitmap-jpeg, advancedsearch-filetype-bitmap-tiff, advancedsearch-filetype-vector-svg -- To view, visit https://gerrit.wikimedia.org/r/377065 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I5017951909d7233bec62ef2646f39d5a2882e976 Gerrit-PatchSet: 2 Gerrit-Project: translatewiki Gerrit-Branch: master Gerrit-Owner: MarcoAurelio <maure...@tools.wmflabs.org> Gerrit-Reviewer: Raimond Spekking <raimond.spekk...@gmail.com> Gerrit-Reviewer: Zoranzoki21 <dori.g...@orion.rs> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
