1--TEST-- 2Bug #74063 (NumberFormatter fails after retrieval from session) 3--SKIPIF-- 4<?php 5if (!extension_loaded('intl')) die('skip intl extension not available'); 6?> 7--FILE-- 8<?php 9$formatter = new NumberFormatter("en_GB", NumberFormatter::CURRENCY); 10try { 11 serialize($formatter); 12} catch (Exception $ex) { 13 echo $ex->getMessage(), PHP_EOL; 14} 15?> 16--EXPECT-- 17Serialization of 'NumberFormatter' is not allowed 18
