Add mysqli extension to PHP

I've added the mysqli extension to PHP by adding the appropriate configure option.