Small tweaks to $wgLockManagers documentation.

Change-Id: Ib9678e303a1360ccb1e9005ac919ed75e4e45705