From d18888b0d05d2898d13afce4f9e09dac888b18e1 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Bartosz=20Dziewo=C5=84ski?= Date: Fri, 5 Sep 2014 19:18:11 +0200 Subject: [PATCH] Move mediawiki.png to assets/ directory Bug: 69277 Change-Id: I7936d878de23b1b85d5e0a3a3a9572101681dfdc --- {skins/common/images => assets}/mediawiki.png | Bin includes/PHPVersionError.php | 2 +- includes/templates/NoLocalSettings.php | 2 +- 3 files changed, 2 insertions(+), 2 deletions(-) rename {skins/common/images => assets}/mediawiki.png (100%) diff --git a/skins/common/images/mediawiki.png b/assets/mediawiki.png similarity index 100% rename from skins/common/images/mediawiki.png rename to assets/mediawiki.png diff --git a/includes/PHPVersionError.php b/includes/PHPVersionError.php index 0f5a6fc087..44038a5895 100644 --- a/includes/PHPVersionError.php +++ b/includes/PHPVersionError.php @@ -60,7 +60,7 @@ function wfPHPVersionError( $type ) { } $encLogo = htmlspecialchars( str_replace( '//', '/', $dirname . '/' ) . - 'skins/common/images/mediawiki.png' + 'assets/mediawiki.png' ); header( "$protocol 500 MediaWiki configuration Error" ); diff --git a/includes/templates/NoLocalSettings.php b/includes/templates/NoLocalSettings.php index 33b240002a..86bc4155d0 100644 --- a/includes/templates/NoLocalSettings.php +++ b/includes/templates/NoLocalSettings.php @@ -72,7 +72,7 @@ if ( !function_exists( 'session_name' ) ) { - The MediaWiki logo

MediaWiki

-- 2.20.1