User::getRights phpdoc from return array to string[]
authoraddshore <addshorewiki@gmail.com>
Mon, 20 Mar 2017 17:38:39 +0000 (17:38 +0000)
committeraddshore <addshorewiki@gmail.com>
Mon, 20 Mar 2017 17:38:39 +0000 (17:38 +0000)
commit1f5dd321ac914ff4e461b0ce7c1c495d167a6a96
treec576ce8cd573140354b437bd8d1f680345400ba4
parentaa5eca02b3da03aae34269d823b26fe5609ed051
User::getRights phpdoc from return array to string[]

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