Removed unused $wgAntiLockFlags flags.
authorAaron Schulz <aschulz@wikimedia.org>
Tue, 24 Jul 2012 03:55:21 +0000 (20:55 -0700)
committerAaron Schulz <aschulz@wikimedia.org>
Tue, 24 Jul 2012 03:55:21 +0000 (20:55 -0700)
commite6d6873afd92731c853e8c4ef459a0d80376c44c
tree02e7d5131b08dda55142a3b669ad42ae3439ae9a
parentda76f58c1cb6452f5cffee2cf2f1a7456a405daf
Removed unused $wgAntiLockFlags flags.

Change-Id: I56a24db564906256f78b5d1903de4ddd70a13bc4
includes/DefaultSettings.php
includes/Defines.php