Merge pull request #12 from mheijkoop/versioncheck

JakubOnderka · JakubOnderka · commit 168eb017195c · 2014-01-20T08:09:27.000-08:00
Use version_compare rather than &lt;
diff --git a/parallel-lint.php b/parallel-lint.php
@@ -1,8 +1,8 @@
 <?php
 use JakubOnderka\PhpParallelLint;
 
-if (PHP_VERSION < '5.3.2') {
-    die("PHP Parallel Lint require PHP 5.3.2 or newer.");
+if (!function_exists('version_compare') || version_compare(PHP_VERSION, '5.3.2', '<')) {
+    die("PHP Parallel Lint require PHP 5.3.2 or newer.\n");
 }
 
 const SUCCESS = 0,

Original file line number	Diff line number	Diff line change
`@@ -1,8 +1,8 @@`
`1`	`1`	`<?php`
`2`	`2`	`use JakubOnderka\PhpParallelLint;`
`3`	`3`
`4`		`-if (PHP_VERSION < '5.3.2') {`
`5`		`- die("PHP Parallel Lint require PHP 5.3.2 or newer.");`
	`4`	`+if (!function_exists('version_compare') \|\| version_compare(PHP_VERSION, '5.3.2', '<')) {`
	`5`	`+ die("PHP Parallel Lint require PHP 5.3.2 or newer.\n");`
`6`	`6`	`}`
`7`	`7`
`8`	`8`	`const SUCCESS = 0,`