From da170c40280af151c96dbb3a737caa594c8295e6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Thomas=20M=C3=BCller?=
 <DeepDiver1975@users.noreply.github.com>
Date: Sun, 17 Jul 2016 11:35:36 +0200
Subject: [PATCH] [stable9] Use explode() instead of split() - fixes #25483
 (#25488)

---
 lib/private/files.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/private/files.php b/lib/private/files.php
index 639fd30b5548..dbed47022739 100644
--- a/lib/private/files.php
+++ b/lib/private/files.php
@@ -191,7 +191,7 @@ public static function get($dir, $files, $params = null) {
 	 * @return array $rangeArray ('from'=>int,'to'=>int), ...
 	 */
 	private static function parseHttpRangeHeader($rangeHeaderPos, $fileSize) {
-		$rArray=split(',', $rangeHeaderPos);
+		$rArray=explode(',', $rangeHeaderPos);
 		$minOffset = 0;
 		$ind = 0;