Update type of PermissionManager::resultToError
authorUmherirrender <umherirrender_de.wp@web.de>
Fri, 7 Jun 2019 15:23:50 +0000 (17:23 +0200)
committerUmherirrender <umherirrender_de.wp@web.de>
Fri, 7 Jun 2019 15:23:50 +0000 (17:23 +0200)
Also update the copy source in Title::resultToError

Change-Id: Iaa3b8d124e599fe9db7f941d0591776adc96906b

includes/Permissions/PermissionManager.php
includes/Title.php

index e443803..202014f 100644 (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
         */
index dee6c52..0e95791 100644 (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
         */