The mysql shared extension for php