/scripts/dev/

• ../
• check_parameters.php
• credits
• find_tested.php
• gen_verify_stub
• phpextdist
• search_underscores.php