Defines rules for double quote usage

Makes sure that any use of double quotes strings are warranted.

Signed-off-by: Maurício Meneghini Fauth <mauricio@fauth.dev>

2 files changed, 6 insertions, 6 deletions

diff --git a/examples/config.manyhosts.inc.php b/examples/config.manyhosts.inc.php
index b9ea89306d..ed2e8a0a6a 100644
--- a/examples/config.manyhosts.inc.php
+++ b/examples/config.manyhosts.inc.php
@@ -12,10 +12,10 @@ declare(strict_types=1);
 
 $i = 0;
 $hosts =  [
-    "foo.example.com",
-    "bar.example.com",
-    "baz.example.com",
-    "quux.example.com",
+    'foo.example.com',
+    'bar.example.com',
+    'baz.example.com',
+    'quux.example.com',
 ];
 
 foreach ($hosts as $host) {
diff --git a/examples/openid.php b/examples/openid.php
index 7cb456e78b..f3e9e5ef73 100644
--- a/examples/openid.php
+++ b/examples/openid.php
@@ -76,7 +76,7 @@ function Show_page($contents)
 function Die_error($e)
 {
     $contents = "<div class='relyingparty_results'>\n";
-    $contents .= "<pre>" . htmlspecialchars($e->getMessage()) . "</pre>\n";
+    $contents .= '<pre>' . htmlspecialchars($e->getMessage()) . "</pre>\n";
     $contents .= "</div class='relyingparty_results'>";
     Show_page($contents);
     exit;
@@ -143,7 +143,7 @@ if (isset($_POST['start'])) {
 
     $url = $authRequest->getAuthorizeURL();
 
-    header("Location: $url");
+    header('Location: ' . $url);
     exit;
 } else {
     /* Grab query string */