Fix up r43673: reindex the rights array after removing duplicates
authorRoan Kattouw <catrope@users.mediawiki.org>
Thu, 20 Nov 2008 15:15:00 +0000 (15:15 +0000)
committerRoan Kattouw <catrope@users.mediawiki.org>
Thu, 20 Nov 2008 15:15:00 +0000 (15:15 +0000)
commita6e101025d4b6c3046ac4f5a08119f2e04e58ad2
tree27fc09c6af40a86d4fcab596e724cdee3f99e600
parentc3be8a30343d7a40912c67ab0c2337812656bdc9
Fix up r43673: reindex the rights array after removing duplicates
includes/api/ApiQueryUserInfo.php