!7

p {
  S encoding = "ISO-8859-1";
  File outDir = new File("/home/stefan/dev/woody/web-out");
  for (File f : listFiles("/home/stefan/dev/woody/web")) pcall {
    if (!f.getName().endsWith(".php")) continue;
    print(f);
    S text = loadTextFileWithEncoding(f, encoding);
    L<S> lines = lines(text);
    lines.add(0, [[<? include("bot.inc.php"); ?>]]);
    int idx = indexOfElementThatContains(lines, " BOTFELD ");
    if (idx < 0) { print("no botfeld"); continue; }
    assertTrue(cic(lines.get(idx+1), "<TD"));
    int j = indexOfElementThatContains(lines, idx+2, "</TD");
    if (j < 0) { print("huh"); continue; }
    lines.set(idx+1, lines.get(idx+1)
      + "\n<? bot(); ?>" + "\n<!--");
    lines.set(j, "-->" + lines.get(j));
    saveTextFileWithEncoding(new File(outDir, f.getName()), lines(lines), encoding);
  }
}