resourceloader: Document encodeJsonForScript() type as mixed

Objects passed to it since 23d066618def55361aa32a60ef9
json_encode allows mixed type, so use it also here.

Change-Id: I0897a6a144fd1c90b3ead205cedf21c19682b9df

diff --git a/includes/resourceloader/ResourceLoader.php b/includes/resourceloader/ResourceLoader.php
index ca83ff3..693afcf 100644 (file)
--- a/includes/resourceloader/ResourceLoader.php
+++ b/includes/resourceloader/ResourceLoader.php
@@ -1323,7 +1323,7 @@ MESSAGE;
         *
         * @internal
         * @since 1.32
-        * @param bool|string|array $data
+        * @param mixed $data
         * @return string JSON
         */
        public static function encodeJsonForScript( $data ) {