Completed
Push — master ( c9009a...f70336 )
by Woody
13s queued 10s
created
examples/user.php 1 patch
Spacing   +2 added lines, -2 removed lines patch added patch discarded remove patch
@@ -1,6 +1,6 @@  discard block
 block discarded – undo
1 1
 <?php
2 2
 
3
-$provider = require __DIR__ . '/provider.php';
3
+$provider = require __DIR__.'/provider.php';
4 4
 
5 5
 if (isset($_GET['logout']) && 1 == $_GET['logout']) {
6 6
     unset($_SESSION['token']);
@@ -23,7 +23,7 @@  discard block
 block discarded – undo
23 23
     printf('Hello %s!<br/>', $userDetails->getFirstname());
24 24
 } catch (Exception $e) {
25 25
     // Failed to get user details
26
-    exit('Something went wrong: ' . $e->getMessage());
26
+    exit('Something went wrong: '.$e->getMessage());
27 27
 }
28 28
 
29 29
 // Use this to interact with an API on the users behalf
Please login to merge, or discard this patch.