Update $wgMainStash comments and merge in those from a deprecated ObjectCache method
authorAaron Schulz <aschulz@wikimedia.org>
Wed, 10 Jul 2019 21:02:41 +0000 (14:02 -0700)
committerAaron Schulz <aschulz@wikimedia.org>
Wed, 10 Jul 2019 21:02:41 +0000 (14:02 -0700)
commitd3c2e4d385b8f372ac58420d2c94a7ccf069f8f8
tree66836e73870f30965538289021d9ec3c29ab1f65
parentd72f24589b3eece35b334d080e6e609b048fc22f
Update $wgMainStash comments and merge in those from a deprecated ObjectCache method

Change-Id: I807f36d9c51476a969d7046d57bfc32cf37c2745
includes/DefaultSettings.php
includes/objectcache/ObjectCache.php