Added MySQL PHP extension