Thijs/wiki.techinc.nl
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fix up r43673: reindex the rights array after removing duplicates

Browse source
This commit is contained in:
Roan Kattouw 2008-11-20 15:15:00 +00:00
parent c3be8a3034
commit a6e101025d
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
includes/api/ApiQueryUserInfo.php
View file

@ -77,7 +77,7 @@ class ApiQueryUserInfo extends ApiQueryBase {
}
if (isset($this->prop['rights'])) {
// User::getRights() may return duplicate values, strip them
$vals['rights'] = array_unique($wgUser->getRights());
$vals['rights'] = array_values(array_unique($wgUser->getRights()));
$result->setIndexedTagName($vals['rights'], 'r'); // even if empty
}
if (isset($this->prop['options'])) {