Das hier ist eine ISO-Auszeichnung:
[HTML][/HTML]
Das ist jedoch nicht das gleiche. Das eine beschreibt die verwendete Sprache (z.B. HTML 4.01 oder XHTML…), das andere beschreibt den verwendeten Zeichensatz.
Ich wüsste kein Programm, das sowas könnte. Einfach manuell einfügen. HTML-Dokument öffnen und copy&paste. Jedoch dann auch mit der richtigen ISO.
Oder ISO ändern. z.B. mit Notepad++
Du könntest ein lokales PHP-Script verwenden, geht am schnellsten wenn du nicht alles von Hand machen möchtest.
[php]<?php
$dir = opendir('.');
while($file = readdir($dir)):
if(preg_match('%[a-z0-9_\-\.]+\.html%', $file))
$files[] = $file;
endwhile;
/////
foreach($files as $file):
$content = file_get_contents($file);
$content = str_replace('', '', $content);
file_put_contents($file, $content);
endforeach;
/////
echo 'All done!';
?>[/php]Das Script kommt dann ins gleiche Verzeichnis wie die zu ändernden Dateien und wird im Browser aufgerufen.
Voraussetzung ist natürlich ein lokal installierter Webserver.
Dann schreib mal ganz an den Anfang der Datei (nach <?php):
[php]ini_set(‚max_execution_time‘, 300)[/php]Ob die 300 auch noch in ‚‘ muss weiß ich nicht genau, das wären dann halt 5 Minuten (300s).
Wenns dann immer noch nicht geht hab ich entweder ne Endlosschleife gebastelt oder es sind tatsächlich zu viele Dateien.