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-01-20 02:22:37 +0300
committerMaurício Meneghini Fauth <mauricio@fauth.dev>2020-01-20 02:22:37 +0300
commit63dbcd01d9565679cb3bf20a53e1f6b5f3bb412a (patch)
tree9dd41d9a6495e423335ed831ea94785cb4709ef7 /examples
parent33477fe024608de2e4b4b3e55e377cf362737746 (diff)
Remove or ignore side effects in PHP files
Signed-off-by: Maurício Meneghini Fauth <mauricio@fauth.dev>
Diffstat (limited to 'examples')
-rw-r--r--examples/openid.php3
1 files changed, 2 insertions, 1 deletions
diff --git a/examples/openid.php b/examples/openid.php
index f3e9e5ef73..60a5cf40c9 100644
--- a/examples/openid.php
+++ b/examples/openid.php
@@ -33,6 +33,7 @@ $AUTH_MAP = [
],
];
+// phpcs:disable PSR1.Files.SideEffects
/**
* Simple function to show HTML page with given content.
*
@@ -81,7 +82,7 @@ function Die_error($e)
Show_page($contents);
exit;
}
-
+// phpcs:enable
/* Need to have cookie visible from parent directory */
session_set_cookie_params(0, '/', '', $secure_cookie, true);