Add MySQL extension