remove unneeded isset($_SESSION) when next check is !empty($_SESSION)

This commit is contained in:
Abdul Malik Ikhsan 2018-08-07 12:59:57 +07:00
parent 655481298c
commit 3a586671da
No known key found for this signature in database
GPG Key ID: 23FCCC74D1442CAE

View File

@ -145,7 +145,7 @@ class Toolbar
$data['vars']['varData'][esc($heading)] = $vardata;
}
if (isset($_SESSION) && ! empty($_SESSION))
if (! empty($_SESSION))
{
foreach ($_SESSION as $key => $value)
{