10 Useful PHP Tools For Developers