diff --git a/resources/php.php b/resources/php.php
index 210dac4882..2bc760b6d9 100644
--- a/resources/php.php
+++ b/resources/php.php
@@ -33,7 +33,7 @@
 				}
 			}
 		//regenerate sessions to avoid session id attacks such as session fixation
-			if (array_key_exists('security',$_SESSION) and $_SESSION['security']['session_rotate']['boolean'] == "true") {
+			if (array_key_exists('security',$_SESSION) && $_SESSION['security']['session_rotate']['boolean'] == "true") {
 				$_SESSION['session']['last_activity'] = time();
 				if (!isset($_SESSION['session']['created'])) {
 					$_SESSION['session']['created'] = time();