Remove $wgDBClusterTimeout
authorwithoutaname <drevitchi@gmail.com>
Thu, 12 Jun 2014 18:35:02 +0000 (11:35 -0700)
committerwithoutaname <drevitchi@gmail.com>
Thu, 12 Jun 2014 18:35:02 +0000 (11:35 -0700)
commitf18bed451d12b31782936c69383ee01d10f1cf55
tree11a2b9d8d0aa7bcb28e32a19f5082e57eed8efc4
parentc417e7d8f3d8c6f23e1b5265868a8fd5f490f2d4
Remove $wgDBClusterTimeout

Also added release notes that I forgot to include in
change I4b409ef

Change-Id: I9416c0dc7dea1c32c3e1f6d7177ee9bc4e34e1de
RELEASE-NOTES-1.24
includes/DefaultSettings.php