Warning: session_start(): open(/var/lib/php/sessions/sess_l76v7fv598kap2j0cu7pu7vgh7, 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 addRangesToTokenization(S text, LS tokens) { if (tokens == null) null; L out = emptyList(tokens); int i = 0; for (S tok : tokens) { int j = i+l(tok); out.add(TokenAndRange(tok, intRange(i, j), text)); i = j; } ret out; }