Demon has submitted this change and it was merged.
Change subject: Remove notice since the skins are now gone
......................................................................
Remove notice since the skins are now gone
Change-Id: I3fa303693f5b10a36aadabbad470608e0fbe9bd1
---
M wmf-config/CommonSettings.php
1 file changed, 0 insertions(+), 11 deletions(-)
Approvals:
Demon: Looks good to me, approved
jenkins-bot: Verified
diff --git a/wmf-config/CommonSettings.php b/wmf-config/CommonSettings.php
index b08f82b..96fd110 100644
--- a/wmf-config/CommonSettings.php
+++ b/wmf-config/CommonSettings.php
@@ -1199,17 +1199,6 @@
// Nostalgia skin
include( "$IP/extensions/Nostalgia/Nostalgia.php" );
-} else {
- $wgHooks['BeforePageDisplay'][] = function( &$out, $skin ) use (
$wgDBname ) {
- $badSkinName = $skin->getSkinName();
- if ( in_array( $badSkinName, array( 'chick', 'simple',
'myskin', 'nostalgia', 'standard' ) ) ) {
- $metaPage = $wgDBname == 'metawiki' ? 'Turning off
outdated skins' : 'meta:Turning off outdated skins';
- $removeDate = $out->getLang()->date( '2013-04-15
00:00:00' );
- $out->prependHTML( '<span class="warning">' .
$out->msg( 'wikimedia-oldskin-removal',
- $out->msg( "skinname-$badSkinName" )->text(),
$removeDate, $metaPage )->parse() . '</span>' );
- }
- return true;
- };
}
$wgUseHashTable = true;
--
To view, visit https://gerrit.wikimedia.org/r/58523
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I3fa303693f5b10a36aadabbad470608e0fbe9bd1
Gerrit-PatchSet: 2
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Demon <[email protected]>
Gerrit-Reviewer: Demon <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
