Warning: session_start(): open(/var/lib/php/sessions/sess_5bs2pcnoab21t9j09gfs3assv0, 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
// f : Matcher -> S sS regexpReplaceIC(S s, S pat, O f) { ret regexReplaceIC(s, pat, f); } sS regexpReplaceIC(S s, S pat, S replacement) { ret regexReplaceIC(s, pat, replacement); } sS regexpReplaceIC(S s, S pat, IF1 f) { ret regexReplaceIC(s, pat, f); }