From 35ef5129bd24666457cda6ab19f86e79d9a11f5c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Josu=C3=A9=20Tille?= <josue@tille.ch>
Date: Wed, 7 Nov 2018 18:01:13 +0100
Subject: [PATCH] Fix device name with php7

---
 sources/get_user_token.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sources/get_user_token.php b/sources/get_user_token.php
index 919f13b..3f6dc8e 100644
--- a/sources/get_user_token.php
+++ b/sources/get_user_token.php
@@ -9,7 +9,7 @@ $url = "$url/_matrix/client/r0/login?";
 
 $remoteUser = $_SERVER['REMOTE_USER'];
 $userPassword = $_SERVER['PHP_AUTH_PW'];
-$deviceName = json_decode($HTTP_RAW_POST_DATA)->devicename;
+$deviceName = json_decode(file_get_contents('php://input'))->devicename;
 $deviceName = preg_filter("/^([\w\s_.\/\-\:\.]*)$/", "$1", $deviceName);
 
 if ($deviceName == '') {