added missing mysql php module