Fix phpdoc of User::isIP
authoraddshore <addshorewiki@gmail.com>
Thu, 23 Jun 2016 09:57:48 +0000 (10:57 +0100)
committeraddshore <addshorewiki@gmail.com>
Thu, 23 Jun 2016 09:57:48 +0000 (10:57 +0100)
commit1af30e9bf03ab190bf9259fba6b60b22d19b7efb
treeca85bef8eb6efde890ceb0765d6b79cfe5302f68
parent148f19e3cf2c00c42c66937d838f0f6781e481a5
Fix phpdoc of User::isIP

Change-Id: I0990e91ca70cb6fab7e7023917d6eb0d6fd2ff31
includes/user/User.php