Using FQ name for PHP_VERSION_ID

fabpot · fabpot · commit 6de57ec3161f · 2017-06-01T13:44:56.000-07:00
diff --git a/Loader/AnnotationFileLoader.php b/Loader/AnnotationFileLoader.php
@@ -64,7 +64,7 @@ public function load($file, $type = null)
             $collection->addResource(new FileResource($path));
             $collection->addCollection($this->loader->load($class, $type));
         }
-        if (PHP_VERSION_ID >= 70000) {
+        if (\PHP_VERSION_ID >= 70000) {
             // PHP 7 memory manager will not release after token_get_all(), see https://bugs.php.net/70098
             gc_mem_caches();
         }

Original file line number	Diff line number	Diff line change
`@@ -64,7 +64,7 @@ public function load($file, $type = null)`
`64`	`64`	`$collection->addResource(new FileResource($path));`
`65`	`65`	`$collection->addCollection($this->loader->load($class, $type));`
`66`	`66`	`}`
`67`		`- if (PHP_VERSION_ID >= 70000) {`
	`67`	`+ if (\PHP_VERSION_ID >= 70000) {`
`68`	`68`	`// PHP 7 memory manager will not release after token_get_all(), see https://bugs.php.net/70098`
`69`	`69`	`gc_mem_caches();`
`70`	`70`	`}`