I must have missed something. I thought DH had already started using php5 in all the servers. But php -v shows PHP 4.4.9 in private server.
If I am not wrong, I remember somebody mentioned that DH private server is running php4. But it seems that php5 is already installed in private server. I am wondering whether there is a quick way to switch to php5 in private server.