Use PHP 7 "\u{NNNN}" Unicode codepoint escapes in string literals