Enabling PHP 'intl' extension in Cloud IDE