Index of /web/dev/tools/phan

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 baseline.txt            2025-05-24 14:28  211K  
 config.php              2025-05-24 14:28   19K  
 config_extended.php     2025-05-24 14:28  4.4K  
 run-phan.sh             2025-05-24 14:28  2.6K  
 config_fixer.php        2025-05-24 14:28  1.7K  
 README.md               2025-05-24 14:28  1.4K  
 baseline_extended.txt   2025-05-24 14:28  1.1K  
 PHAN.BAT                2025-05-24 14:28  1.0K  
 runPhanDocker.sh        2025-05-24 14:28  896   
 stubs/                  2025-05-24 14:32    -   
 plugins/                2025-05-24 14:32    -