Toggle logo preloading via the skin
authorGilles Dubuc <gilles@wikimedia.org>
Tue, 2 May 2017 12:58:06 +0000 (14:58 +0200)
committerGilles Dubuc <gdubuc@wikimedia.org>
Tue, 2 May 2017 13:05:11 +0000 (15:05 +0200)
commit13ffd04c5f4c7dde668bfb1312bf829934a912dd
treee2231add53271d50d506da0b647bc581a23582c6
parentfb36b7d94317720379513116c6062a21d23f973e
Toggle logo preloading via the skin

Bug: T100999
Change-Id: I0e18dc7fdbf133f3e4002f48f3040604687571dc
includes/OutputPage.php
includes/skins/Skin.php