use PHP_VERSION_ID available since php 5.2.7

glensc · glensc · commit 502485d43948 · 2017-07-31T19:45:09.000+03:00
http://php.net/manual/en/function.phpversion.php
diff --git a/lib/Saml2/Utils.php b/lib/Saml2/Utils.php
@@ -862,7 +862,7 @@ public static function query($dom, $query, $context = null)
      */
     public static function isSessionStarted()
     {
-        if (version_compare(phpversion(), '5.4.0', '>=')) {
+        if (PHP_VERSION_ID >= 50400) {
             return session_status() === PHP_SESSION_ACTIVE ? true : false;
         } else {
             return session_id() === '' ? false : true;

Original file line number	Diff line number	Diff line change
`@@ -862,7 +862,7 @@ public static function query($dom, $query, $context = null)`
`862`	`862`	`*/`
`863`	`863`	`public static function isSessionStarted()`
`864`	`864`	`{`
`865`		`- if (version_compare(phpversion(), '5.4.0', '>=')) {`
	`865`	`+ if (PHP_VERSION_ID >= 50400) {`
`866`	`866`	`return session_status() === PHP_SESSION_ACTIVE ? true : false;`
`867`	`867`	`} else {`
`868`	`868`	`return session_id() === '' ? false : true;`