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

Update type of PermissionManager::resultToError

Browse source 
Also update the copy source in Title::resultToError

Change-Id: Iaa3b8d124e599fe9db7f941d0591776adc96906b
This commit is contained in:
Umherirrender 2019-06-07 17:23:50 +02:00
parent 44b524827e
commit 141f8cfee0
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
includes/Permissions/PermissionManager.php
View file

@ -324,7 +324,7 @@ class PermissionManager {
* Add the resulting error code to the errors array
*
* @param array $errors List of current errors
* @param array $result Result of errors
* @param array|string|MessageSpecifier|false $result Result of errors
*
* @return array List of errors
*/

2
includes/Title.php
View file

@ -2256,7 +2256,7 @@ class Title implements LinkTarget, IDBAccessObject {
* Add the resulting error code to the errors array
*
* @param array $errors List of current errors
* @param array $result Result of errors
* @param array|string|MessageSpecifier|false $result Result of errors
*
* @return array List of errors
*/