Psalm: Find unlisted issues

find-unlisted-issues.php

<?php
// Usage:
// 1. Clone: https://github.com/vimeo/psalm.git
// 2. Run this script inside the repository.

$dir = __DIR__ . '/docs/running_psalm/';
$issues = glob($dir . 'issues/*.md');
$docs = file_get_contents($dir . 'error_levels.md');

foreach ($issues as $issue) {
  $name = pathinfo($issue, PATHINFO_FILENAME);
  if (false === strpos($docs, "[$name](issues/$name.md)")) {
    echo "$name\n";
  }
}