typo fixed: User::getIntOption returns an integer, not a boolean
authorWikinaut <mail@tgries.de>
Sat, 10 Aug 2013 11:48:37 +0000 (13:48 +0200)
committerWikinaut <mail@tgries.de>
Sat, 10 Aug 2013 11:48:37 +0000 (13:48 +0200)
commit6ab77c030ec6cf00e2c4f11538a8bcde789df3ad
tree03d3d505f545d130ce8111a19c9739ce1316c939
parent392e68ab855beca7a5084e3423e84c6781a92961
typo fixed: User::getIntOption returns an integer, not a boolean

Change-Id: Ied47f53ccf567ae8fcd047481d46d28c9960b549
includes/User.php