Come far convivere le due versioni di PHP sulla stessa macchina.
Un semplice script permette di passare da una versione all’altra, ci sono metodi più sofisticati, come eseguire due istanze di apache che ascoltano su due porte diverse e associare a ciascuna istanza una versione di PHP diversa.
Occorre preparare due file di configurazione diversi sia per apache (httpd.conf) sia per PHP (php.ini).
Nel mio caso ho dovuto anche caricare (dinamicamente da uno script PHP) delle estensioni diverse, quindi il link simbolico.
# switch to php 4
rm /usr/local/lib/php.ini
cp /usr/local/lib/php.ini.php4 /usr/local/lib/php.ini
cp /usr/local/apache2/conf/httpd.conf.php4 /usr/local/apache2/conf/httpd.conf
rm /usr/local/lib/php/extensions/php_mapscript.so
ln -s /usr/local/lib/php/extensions/php_mapscript-php4.so /usr/local/lib/php/extensions/php_mapscript.so
service httpd restart