<?php
function make_literal($s) {
$chars = [0x09 => "\t","\n",".","\f","\r", 0x20 => " ","!","\"","#","\$","%","&","'","(",")","*","+",",","-",".","/","0","1","2","3","4","5","6","7","8","9",":",";","<","=",">","?","@","A","B","C","D","E","F","G","H","I","J","K","L","M","N","O","P","Q","R","S","T","U","V","W","X","Y","Z","[","\\","]","^","_","`","a","b","c","d","e","f","g","h","i","j","k","l","m","n","o","p","q","r","s","t","u","v","w","x","y","z","{","|","}","~"];
return implode("", array_map(fn($c) => $chars[ord($c)], str_split($s, 1)));
}
function test($s) {
echo "is_literal = ", (is_literal($s) ? "true" : "false"), " for: $s\n";
}
$a = "test";
test($a);
test(strtoupper($a));
test(make_literal(strtoupper($a)));
test(make_literal(json_encode($_SERVER)));
preferences:
29.27 ms | 402 KiB | 5 Q