#!/usr/bin/env php = 0xd800 && $i <= 0xdfff ) { // Skip surrogate pairs continue; } $char = mb_convert_encoding( '&#' . $i . ';', 'UTF-8', 'HTML-ENTITIES' ); $phpUpper = mb_strtoupper( $char ); $jsUpper = $jsUpperChars[$i]; if ( $jsUpper !== $phpUpper ) { $data[$char] = $phpUpper; } } echo str_replace( ' ', "\t", json_encode( $data, JSON_PRETTY_PRINT | JSON_UNESCAPED_UNICODE ) ) . "\n";