Adding MySQL extension to PHP