From 8e7b469a124d1d616964a5e6546f232bfc750467 Mon Sep 17 00:00:00 2001
From: Umherirrender <umherirrender_de.wp@web.de>
Date: Wed, 4 Sep 2019 19:13:11 +0200
Subject: [PATCH] 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
---
 includes/resourceloader/ResourceLoader.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/includes/resourceloader/ResourceLoader.php b/includes/resourceloader/ResourceLoader.php
index ca83ff357d..693afcf62a 100644
--- 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 ) {
-- 
2.20.1