Set default value for $wgSharedSchema
authorumherirrender <umherirrender_de.wp@web.de>
Thu, 13 Nov 2014 18:43:06 +0000 (19:43 +0100)
committerReedy <reedy@wikimedia.org>
Sat, 15 Nov 2014 21:25:55 +0000 (21:25 +0000)
commit3f03ae662313be96eab11068ea44007c2faa21e7
tree9e0a5d7d4705685f4fab580202f812cc5dba69a8
parent252e9ab048f1b30e1afaaa40fbca60d3ec9f3ee0
Set default value for $wgSharedSchema

Was added in I25df82065a307b9abc30c694f8c8afff0996d7c1 back in REL1_23

Change-Id: I291e770861751e037befe1db004e5e3f8b449f6c
includes/DefaultSettings.php
includes/Setup.php