diff options
| author | Thiemo Kreuz <thiemo.kreuz@wikimedia.de> | 2021-12-08 09:12:22 +0100 |
|---|---|---|
| committer | Thiemo Kreuz <thiemo.kreuz@wikimedia.de> | 2021-12-08 09:12:22 +0100 |
| commit | 369b947d33d45e73a08aeb5b537fb525c0b30196 (patch) | |
| tree | 9155eef9c913691817cd23b98b137232c4bb59a8 /includes/title/NamespaceInfo.php | |
| parent | 496507bc3bcaa374324db0d4063a6d7a4ccf3325 (diff) | |
| download | mediawikicore-369b947d33d45e73a08aeb5b537fb525c0b30196.tar.gz mediawikicore-369b947d33d45e73a08aeb5b537fb525c0b30196.zip | |
Make some generic array type hints in PHPDocs more specific
This patch focusses on permission related stuff.
"Policies" is particularly confusing in this patch. In some cases the
word refers to a list of policies (one such policy being e.g. "minimum
password length = 8 characters"). But sometimes it's a list of lists
of such policies, keyed by user group.
Change-Id: I0346e59c7b79839114dd0d0bc7ee38289c1b06a1
Diffstat (limited to 'includes/title/NamespaceInfo.php')
| -rw-r--r-- | includes/title/NamespaceInfo.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/includes/title/NamespaceInfo.php b/includes/title/NamespaceInfo.php index a77f1aafe011..f17913958823 100644 --- a/includes/title/NamespaceInfo.php +++ b/includes/title/NamespaceInfo.php @@ -608,7 +608,7 @@ class NamespaceInfo { * @deprecated since 1.34 User PermissionManager::getNamespaceRestrictionLevels instead. * @param int $index Index to check * @param User|null $user User to check - * @return array + * @return string[] */ public function getRestrictionLevels( $index, User $user = null ) { // PermissionManager is not injected because adding an explicit dependency |