Add common PHP5 extensions