Move php5 extensions to php5 module