modify php extensions

 add php54-intl