From ce508fab6b0930e38b337c95a39a6b870c4d2f9f Mon Sep 17 00:00:00 2001
From: Daniel Rudolf <github.com@daniel-rudolf.de>
Date: Mon, 25 Jan 2016 19:32:17 +0100
Subject: [PATCH] Replace version_compare() in index.php.dist with
 PHP_VERSION_ID

---
 index.php.dist | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/index.php.dist b/index.php.dist
index 2186072f5..0ec230cf3 100644
--- a/index.php.dist
+++ b/index.php.dist
@@ -1,7 +1,7 @@
 <?php // @codingStandardsIgnoreFile
 
 // check PHP version
-if (version_compare(PHP_VERSION, '5.3.6', '<')) {
+if (PHP_VERSION_ID < 50306) {
     die('Pico requires PHP 5.3.6 or above to run');
 }