| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| PHAN.BAT | 2025-08-18 14:34 | 1.0K | ||
| baseline.txt | 2025-08-18 14:34 | 30K | ||
| baseline_extended.txt | 2025-08-18 14:34 | 1.0K | ||
| config.php | 2025-08-18 14:34 | 21K | ||
| config_extended.php | 2025-08-18 14:34 | 4.9K | ||
| config_fixer.php | 2025-08-18 14:34 | 2.5K | ||
| plugins/ | 2025-08-18 14:34 | - | ||
| run-phan.sh | 2025-08-18 14:34 | 2.6K | ||
| runPhanDocker.sh | 2025-08-18 14:34 | 896 | ||
| stubs/ | 2025-04-12 09:06 | - | ||