skip-linting.php

<?php
$stdin = fopen('php://stdin', 'r');
$input = stream_get_contents($stdin);
fclose($stdin);

foreach (explode(PHP_EOL, $input) as $file) {
    $skip = false;
    $f = @fopen($file, 'r');
    if ($f) {
        $firstLine = fgets($f);

        // ignore shebang line
        if (strpos($firstLine, '#!') === 0) {
            $firstLine = fgets($f);
        }

        @fclose($f);

        if (preg_match('~<?php\\s*\\/\\/\s*lint\s*([^\d\s]+)\s*([^\s]+)\s*~i', $firstLine, $m)) {
            $skip = version_compare(PHP_VERSION, $m[2], $m[1]) === false;
        }
    }

    echo $file . ';' . ($skip ? '1' : '0') . PHP_EOL;
}