76a2fb0231
Otherwise its a normal string[] with the user ids, in that
case the array_merge did it's job just fine, apart from it
not being deduplicated.
The array+array is only needed when the user id is the key,
so integer only user ids are kept as they are instead of being
reindexed.
Regression from
|
||
---|---|---|
.. | ||
Exception | ||
DefaultShareProvider.php | ||
Hooks.php | ||
LegacyHooks.php | ||
Manager.php | ||
ProviderFactory.php | ||
Share.php | ||
ShareHelper.php |