jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/349747 )
Change subject: Fix bad newlines ...................................................................... Fix bad newlines Removed \r from files Change-Id: Id84e532ec667797dd017ebc3ed3e38cae16143dd --- M FileImporter.alias.php 1 file changed, 15 insertions(+), 15 deletions(-) Approvals: Florianschmidtwelzow: Looks good to me, approved jenkins-bot: Verified diff --git a/FileImporter.alias.php b/FileImporter.alias.php index 85e4bb6..8a1aca6 100644 --- a/FileImporter.alias.php +++ b/FileImporter.alias.php @@ -1,15 +1,15 @@ -<?php -/** - * Aliases for special pages - * - * @file - * @ingroup Extensions - */ -// @codingStandardsIgnoreFile - -$specialPageAliases = []; - -/** English (English) */ -$specialPageAliases['en'] = [ - 'FileImporter-SpecialPage' => [ 'ImportFile' ], -]; +<?php +/** + * Aliases for special pages + * + * @file + * @ingroup Extensions + */ +// @codingStandardsIgnoreFile + +$specialPageAliases = []; + +/** English (English) */ +$specialPageAliases['en'] = [ + 'FileImporter-SpecialPage' => [ 'ImportFile' ], +]; -- To view, visit https://gerrit.wikimedia.org/r/349747 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Id84e532ec667797dd017ebc3ed3e38cae16143dd Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/FileImporter Gerrit-Branch: master Gerrit-Owner: Umherirrender <[email protected]> Gerrit-Reviewer: Florianschmidtwelzow <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
