Warning: session_start(): open(/var/lib/php/sessions/sess_62ivqn4h5qhdpfi61ugl0onucu, O_RDWR) failed: No space left on device (28) in /var/www/tb-usercake/models/config.php on line 51
Warning: session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in /var/www/tb-usercake/models/config.php on line 51
sS gazelle_deepReplaceVars(SS map, S s, O... _) {
LS tok = javaTokWithBrackets(s);
ret join(mapCodeTokens(tok, t -> {
bool round = tok_isRoundBracketed(t);
bool curly = tok_isCurlyBracketed(t);
if (!round && !curly) ret getOrKeep(map, t);
S t2 = tok_deRoundOrCurlyBracket(t);
S t3 = gazelle_deepReplaceVars(map, t2, _);
if (t2 == t3) ret t;
ret round ? roundBracket(t) : curlyBracket(t);
}));
}