Warning: session_start(): open(/var/lib/php/sessions/sess_vur4nejjgktdhmd6ngqg4o6l0i, 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 LS getHTMLComments(S html) { ret getHTMLComments(htmlTok(tok)); } static LS getHTMLComments(LS tok) { new LS l; for (int idx = 0; idx < l(tok); idx += 2) { S t = tok.get(idx); int i; while ((i = indexOf(t, "", i+4); l.add(substring(t, i+4, j)); i = j+3; } } ret l; }