GitHub Access Token became invalid

It seems like the GitHub access token used for retrieving details about this repository from GitHub became invalid. This might prevent certain types of inspections from being run (in particular, everything related to pull requests).
Please ask an admin of your repository to re-new the access token on this website.
Passed
Push — master ( bd4269...8aec84 )
by Steeven
03:01
created
src/Http/Message/Request.php 1 patch
Spacing   +13 added lines, -13 removed lines patch added patch discarded remove patch
@@ -68,7 +68,7 @@  discard block
 block discarded – undo
68 68
      */
69 69
     public function __get($property)
70 70
     {
71
-        if(property_exists($this, $property)) {
71
+        if (property_exists($this, $property)) {
72 72
             return $this->{$property};
73 73
         }
74 74
 
@@ -128,8 +128,8 @@  discard block
 block discarded – undo
128 128
      */
129 129
     public function isAjax()
130 130
     {
131
-        return ( ! empty($_SERVER[ 'HTTP_X_REQUESTED_WITH' ]) &&
132
-            strtolower($_SERVER[ 'HTTP_X_REQUESTED_WITH' ]) === 'xmlhttprequest');
131
+        return ( ! empty($_SERVER['HTTP_X_REQUESTED_WITH']) &&
132
+            strtolower($_SERVER['HTTP_X_REQUESTED_WITH']) === 'xmlhttprequest');
133 133
     }
134 134
 
135 135
     //--------------------------------------------------------------------
@@ -144,12 +144,12 @@  discard block
 block discarded – undo
144 144
      */
145 145
     public function isSecure()
146 146
     {
147
-        if ( ! empty($_SERVER[ 'HTTPS' ]) && strtolower($_SERVER[ 'HTTPS' ]) !== 'off') {
147
+        if ( ! empty($_SERVER['HTTPS']) && strtolower($_SERVER['HTTPS']) !== 'off') {
148 148
             return true;
149
-        } elseif (isset($_SERVER[ 'HTTP_X_FORWARDED_PROTO' ]) && $_SERVER[ 'HTTP_X_FORWARDED_PROTO' ] === 'https') {
149
+        } elseif (isset($_SERVER['HTTP_X_FORWARDED_PROTO']) && $_SERVER['HTTP_X_FORWARDED_PROTO'] === 'https') {
150 150
             return true;
151
-        } elseif ( ! empty($_SERVER[ 'HTTP_FRONT_END_HTTPS' ]) && strtolower(
152
-                $_SERVER[ 'HTTP_FRONT_END_HTTPS' ]
151
+        } elseif ( ! empty($_SERVER['HTTP_FRONT_END_HTTPS']) && strtolower(
152
+                $_SERVER['HTTP_FRONT_END_HTTPS']
153 153
             ) !== 'off'
154 154
         ) {
155 155
             return true;
@@ -170,8 +170,8 @@  discard block
 block discarded – undo
170 170
     public function getTime($format = null)
171 171
     {
172 172
         return isset($format)
173
-            ? date($format, $_SERVER[ 'REQUEST_TIME' ])
174
-            : $_SERVER[ 'REQUEST_TIME' ];
173
+            ? date($format, $_SERVER['REQUEST_TIME'])
174
+            : $_SERVER['REQUEST_TIME'];
175 175
     }
176 176
 
177 177
     //--------------------------------------------------------------------
@@ -253,12 +253,12 @@  discard block
 block discarded – undo
253 253
 
254 254
         $uri = $this->uri;
255 255
 
256
-        if (isset($parseTarget[ 'path' ])) {
257
-            $uri = $this->uri->withPath($parseTarget[ 'path' ]);
256
+        if (isset($parseTarget['path'])) {
257
+            $uri = $this->uri->withPath($parseTarget['path']);
258 258
         }
259 259
 
260
-        if (isset($parseTarget[ 'query' ])) {
261
-            $uri = $this->uri->withPath($parseTarget[ 'query' ]);
260
+        if (isset($parseTarget['query'])) {
261
+            $uri = $this->uri->withPath($parseTarget['query']);
262 262
         }
263 263
 
264 264
         $this->uri = $uri;
Please login to merge, or discard this patch.