sane PHP editor defaults