Clean up $wgFileBackends/$wgLockManagers comments
authorAaron Schulz <aschulz@wikimedia.org>
Thu, 1 Aug 2019 18:25:27 +0000 (14:25 -0400)
committerAaron Schulz <aschulz@wikimedia.org>
Thu, 1 Aug 2019 18:25:27 +0000 (14:25 -0400)
commit3aadf0409b455e9e3d924d4c90dbbc2fccf48240
treef15b570444d5ba8ee14c09ec9550787433a7dfbe
parent2b11323d55341211fe84d3e282de8ef8e369e4a8
Clean up $wgFileBackends/$wgLockManagers comments

Change-Id: Ib9692176f0e100f3b0c39544109ef2d8a8c8cd92
includes/DefaultSettings.php