Rename lang/php5-extensions.sh to ports/lang/php5-extensions.sh