Warning: session_start(): open(/var/lib/php/sessions/sess_kra9fhp3533gl4a0qdp90lrf5k, 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 LPair dm_gazelle_linesToIgnoreForSimpleWikipediaTopic(S topic) {
L> rules = dm_allRulesFromRulesModuleWithCommentsAndIDs();
new Matches m;
new LPair out;
for (T3 t : rules) {
S text = t.a, comment = lines(t.b);
if (!matchAny("from simple wikipedia topic *", comment, m)) continue;
if (neqic($1, topic)) continue;
if (!jmatchAny("previous lines = *", comment, m)) continue;
int lineIndex = countLines($1);
out.add(pair(firstLine(t.a), lineIndex));
}
ret out;
}