My PHP utility scripts for PHP core and extensions development