<?php
declare(encoding = 1);
-declare(encoding = 1123131232131312321);
+declare(encoding = 112313123213131232100);
declare(encoding = NULL);
declare(encoding = 'utf-8');
declare(encoding = M_PI);
--EXPECTF--
Warning: Unsupported encoding [1] in %sdeclare_001.php on line %d
-Warning: Unsupported encoding [1123131232131312321] in %sdeclare_001.php on line %d
+Warning: Unsupported encoding [1.1231312321313E+20] in %sdeclare_001.php on line %d
Warning: Unsupported encoding [] in %sdeclare_001.php on line %d