From 43346e1527dc6f30e33c5acd4f479acc0eab7d0a Mon Sep 17 00:00:00 2001 From: =?utf8?q?Bartosz=20Dziewo=C5=84ski?= Date: Sat, 30 May 2015 17:21:42 +0200 Subject: [PATCH] Add 'mediawiki.skinning.logo' module Provides ability to display wiki logo with ResourceLoader without loading the big 'mediawiki.skinning.interface' module. Used by GreyStuff skin: Id79688a4eb4bf7f813e0c5af1d89556c488b0bde Change-Id: I7cf51214d9fa378a321c90fc85b0c6799e3b3931 --- resources/Resources.php | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/resources/Resources.php b/resources/Resources.php index 844f232b66..7b7a31c626 100644 --- a/resources/Resources.php +++ b/resources/Resources.php @@ -109,6 +109,7 @@ return array( // Used in the web installer. Test it after modifying this definition! 'mediawiki.skinning.interface' => array( 'position' => 'top', + // Display wiki logo on .mw-wiki-logo elements. 'class' => 'ResourceLoaderSkinModule', 'styles' => array( 'resources/src/mediawiki.skinning/elements.css' => array( 'media' => 'screen' ), @@ -135,6 +136,13 @@ return array( ), ), + // Display wiki logo on .mw-wiki-logo elements. + // This is also part of 'mediawiki.skinning.interface' module; the skin shouldn't load them both. + 'mediawiki.skinning.logo' => array( + 'position' => 'top', + 'class' => 'ResourceLoaderSkinModule', + ), + /* jQuery */ 'jquery' => array( -- 2.20.1