1--TEST--
2Valid Unicode escape sequences
3--FILE--
4<?php
5
6var_dump("\u{61}"); // ASCII "a" - characters below U+007F just encode as ASCII, as it's UTF-8
7var_dump("\u{FF}"); // y with diaeresis
8var_dump("\u{ff}"); // case-insensitive
9var_dump("\u{2603}"); // Unicode snowman
10var_dump("\u{1F602}"); // FACE WITH TEARS OF JOY emoji
11var_dump("\u{0000001F602}"); // Leading zeroes permitted
12--EXPECT--
13string(1) "a"
14string(2) "ÿ"
15string(2) "ÿ"
16string(3) "☃"
17string(4) "��"
18string(4) "��"
19