Use PHP_VERSION_ID, and not PHP_VERSION

doctrine · Jun 16, 2015 · 10a0a9d · 10a0a9d
1 parent 0ab9972
commit 10a0a9d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lib/Doctrine/Common/Annotations/AnnotationReader.php b/lib/Doctrine/Common/Annotations/AnnotationReader.php
@@ -162,7 +162,7 @@ public function __construct()
             throw AnnotationException::optimizerPlusSaveComments();
         }
 
-        if (PHP_VERSION < 70000) {
+        if (PHP_VERSION_ID < 70000) {
             if (extension_loaded('Zend Optimizer+') && (ini_get('zend_optimizerplus.load_comments') === "0" || ini_get('opcache.load_comments') === "0")) {
                 throw AnnotationException::optimizerPlusLoadComments();
             }