Umherirrender has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/349757 )
Change subject: Fix bad newlines ...................................................................... Fix bad newlines Removed \r from files Change-Id: Ic2dd3935deb1d2db4eb0ca6e99522466b26e3f1e --- M Premoderation.alias.php 1 file changed, 16 insertions(+), 16 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/Premoderation refs/changes/57/349757/1 diff --git a/Premoderation.alias.php b/Premoderation.alias.php index 41676bd..810b748 100644 --- a/Premoderation.alias.php +++ b/Premoderation.alias.php @@ -1,16 +1,16 @@ -<?php -/** - * Aliases for special pages - * - * @file - * @ingroup Extensions - */ -// @codingStandardsIgnoreFile - -$specialPageAliases = array(); - -/** English (English) */ -$specialPageAliases['en'] = array( - 'Premoderation' => array( 'Premoderation' ), - 'PremoderationWhiteList' => array( 'PremoderationWhiteList' ), -); +<?php +/** + * Aliases for special pages + * + * @file + * @ingroup Extensions + */ +// @codingStandardsIgnoreFile + +$specialPageAliases = array(); + +/** English (English) */ +$specialPageAliases['en'] = array( + 'Premoderation' => array( 'Premoderation' ), + 'PremoderationWhiteList' => array( 'PremoderationWhiteList' ), +); -- To view, visit https://gerrit.wikimedia.org/r/349757 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: Ic2dd3935deb1d2db4eb0ca6e99522466b26e3f1e Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/Premoderation Gerrit-Branch: master Gerrit-Owner: Umherirrender <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
