Index of /dev/tools/phan/
| Name | Last Modified | Size |
|---|---|---|
 Parent Directory | ||
 plugins | 2024-11-27 09:59 | - |
| stubs | 2024-11-27 09:59 | - |
![[TXT]](/_autoindex/assets/icons/file-text.svg){kind=icon} baseline.txt | 2024-11-27 09:59 | 212k |
| baseline_extended.txt | 2024-11-27 09:59 | 2k |
| config.php | 2024-11-27 09:59 | 20k |
| config_extended.php | 2024-11-27 09:59 | 5k |
| config_fixer.php | 2024-11-27 09:59 | 2k |
 PHAN.BAT | 2024-11-27 09:59 | 2k |
| run-phan.sh | 2024-11-27 09:59 | 3k |
| runPhanDocker.sh | 2024-11-27 09:59 | 1k |