Warning: session_start(): open(/var/lib/php/sessions/sess_2bub0u7usolpk27tno3skm2olf, 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
static L replaceIC(L l, S a, S b) { new L l2; for i over l: { S s = l.get(i); l2.add(eqic(s, a) ? b : s); } ret l2; } // TODO: probably slow static S replaceIC(S s, S a, S b) { ret s.replaceAll("(?i)" + patternQuote(a), quoteReplacement(b)); }