Which are the best PHP editor for web development (with function auto-completation, ecc)? Thank you, Piero