<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_s1d3dsmv8k8hg6msatrhbjr9or, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
// needs Snippets DB v2 (#1016872) with withTexts=true
static LS dm_snippetIDsWhereTextMatches(IPred<S> pred) {
  new LS out;
  for (O snippet : dm_allSnippets()) {
    S text = cast call(snippet, 'text);
    if (isTrue_callF(pred, text))
      out.add((S) call(snippet, 'snippetID));
  }
  ret out;
}