added mysql php extension