WMDE-leszek has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/349926 )
Change subject: Remove special page aliases file ...................................................................... Remove special page aliases file As long as there are no aliases, this file is not needed. Change-Id: I6ce369def05e81f1df3c7502743cf2889055b293 --- D WikibaseMediaInfo.i18n.alias.php 1 file changed, 0 insertions(+), 14 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/WikibaseMediaInfo refs/changes/26/349926/1 diff --git a/WikibaseMediaInfo.i18n.alias.php b/WikibaseMediaInfo.i18n.alias.php deleted file mode 100644 index 069a42f..0000000 --- a/WikibaseMediaInfo.i18n.alias.php +++ /dev/null @@ -1,14 +0,0 @@ -<?php - -/** - * Aliases for special pages of the WikibaseMediaInfo extension - * - * @file - * @ingroup Extensions - */ - -$specialPageAliases = []; - -/** English (English) */ -$specialPageAliases['en'] = [ -]; -- To view, visit https://gerrit.wikimedia.org/r/349926 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I6ce369def05e81f1df3c7502743cf2889055b293 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/WikibaseMediaInfo Gerrit-Branch: master Gerrit-Owner: WMDE-leszek <leszek.mani...@wikimedia.de> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits