Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/phpmyadmin/phpmyadmin.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMaurício Meneghini Fauth <mauricio@fauth.dev>2020-07-11 00:06:29 +0300
committerMaurício Meneghini Fauth <mauricio@fauth.dev>2020-07-11 00:06:29 +0300
commit3b285ff17e26faec8e3cc2ed9058f0f82ad27708 (patch)
treeb1cdfca7d52fdc0d266b0bd95b78432c3c94d6b6 /examples
parent75443758672002e4afe2041c73db46a1c1e55e9f (diff)
Use identical operator for non-empty strings
Signed-off-by: Maurício Meneghini Fauth <mauricio@fauth.dev>
Diffstat (limited to 'examples')
-rw-r--r--examples/openid.php4
1 files changed, 2 insertions, 2 deletions
diff --git a/examples/openid.php b/examples/openid.php
index c5383f82fb..b0c3b94f3c 100644
--- a/examples/openid.php
+++ b/examples/openid.php
@@ -91,14 +91,14 @@ session_name($session_name);
// Determine realm and return_to
$base = 'http';
-if (isset($_SERVER['HTTPS']) && $_SERVER['HTTPS'] == 'on') {
+if (isset($_SERVER['HTTPS']) && $_SERVER['HTTPS'] === 'on') {
$base .= 's';
}
$base .= '://' . $_SERVER['SERVER_NAME'] . ':' . $_SERVER['SERVER_PORT'];
$realm = $base . '/';
$returnTo = $base . dirname($_SERVER['PHP_SELF']);
-if ($returnTo[strlen($returnTo) - 1] != '/') {
+if ($returnTo[strlen($returnTo) - 1] !== '/') {
$returnTo .= '/';
}
$returnTo .= 'openid.php';