GitHub PushEvent at 2014-05-15 13:26:50
Repository: mediawiki-core
Actor: wmfgerrit
Payload: {"shas":[["55854800e4703188d25117b55d5f1577b7116805","50ca0c48f84890f36429654e16bfac06aad43e5e@live.com","Installer: properly override default $wgLogo value\n\nSetup.php uses the value of $wgScriptPath in $wgLogo before the\ninstaller determines the former, so it is necessary to override\nthe latter even before the WebInstaller_Options page is shown\n(because it might never be shown).\n\nBug: 48084\nChange-Id: Icc577c1bb1f78adc7a7cfb0581ae8ea2facba4cf","Kevin Israel",true]],"size":1,"ref":"refs/heads/REL1_23","head":"55854800e4703188d25117b55d5f1577b7116805"}