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
13
14--EXPECT--
15string(1) "a"
16string(2) "ÿ"
17string(2) "ÿ"
18string(3) "☃"
19string(4) "��"
20string(4) "��"
21