PHP  user session check modification

+ Add "isset()" call  on user session check to avoid errors on PHP 5.4
(WAMP)