Add php5::extension::intl module