Fix in skip-linting bin

JakubOnderka · JakubOnderka · commit f3c25d3aced1 · 2014-06-05T19:36:38.000+02:00
diff --git a/bin/skip-linting.php b/bin/skip-linting.php
@@ -13,7 +13,7 @@
             $skip = false;
         }
 
-        $skip = isset($m[2]) && version_compare(PHP_VERSION, $m[2], $m[1]);
+        $skip = isset($m[2]) && !version_compare(PHP_VERSION, $m[2], $m[1]);
     }
 
     echo "$file;" . ($skip ? '1' : '0') . "\n";

Original file line number	Diff line number	Diff line change
`@@ -13,7 +13,7 @@`
`13`	`13`	`$skip = false;`
`14`	`14`	`}`
`15`	`15`
`16`		`- $skip = isset($m[2]) && version_compare(PHP_VERSION, $m[2], $m[1]);`
	`16`	`+ $skip = isset($m[2]) && !version_compare(PHP_VERSION, $m[2], $m[1]);`
`17`	`17`	`}`
`18`	`18`
`19`	`19`	`echo "$file;" . ($skip ? '1' : '0') . "\n";`