Document PHP requirement for mysqli