Useful PHP helpers and libraries