diff options
author | Maurício Meneghini Fauth <mauricio@fauth.dev> | 2020-01-20 02:22:37 +0300 |
---|---|---|
committer | Maurício Meneghini Fauth <mauricio@fauth.dev> | 2020-01-20 02:22:37 +0300 |
commit | 63dbcd01d9565679cb3bf20a53e1f6b5f3bb412a (patch) | |
tree | 9dd41d9a6495e423335ed831ea94785cb4709ef7 /examples | |
parent | 33477fe024608de2e4b4b3e55e377cf362737746 (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.php | 3 |
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); |