fix and comparison in pingLimiter
authorbsitu <bsitu@wikimedia.org>
Fri, 23 Mar 2012 23:57:05 +0000 (16:57 -0700)
committerbsitu <bsitu@wikimedia.org>
Fri, 23 Mar 2012 23:57:53 +0000 (16:57 -0700)
commit28283a0de3be5194eb6eaf75db356d30c8238dd3
treebbcbd8364bb5281d73ef14e6cd7b338771a74805
parentbc0446e8b55b28c250faa89c641456157c889594
fix  and  comparison in pingLimiter

Change-Id: Ib8aa8ecf169acdf69c55f8c1dbce0d709fb9e852
includes/User.php