compare version using PHP_VERSION_ID

To let opcode caches optimize cached code, the `PHP_VERSION_ID` constant is used to detect the current PHP version instead of calling `version_compare()` with `PHP_VERSION`.
symfony · Nov 17, 2014 · ffa26b9 · ffa26b9
1 parent 4d635ff
commit ffa26b9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Descriptor/TextDescriptor.php b/Descriptor/TextDescriptor.php
@@ -186,7 +186,7 @@ protected function describeApplication(Application $application, array $options
      */
     private function formatDefaultValue($default)
     {
-        if (version_compare(PHP_VERSION, '5.4', '<')) {
+        if (PHP_VERSION_ID < 50400) {
             return str_replace('\/', '/', json_encode($default));
         }