Hallo Tom,
Hier ist mein Workaround:
if (substr(PHP_OS, 0, 3) == 'WIN')
{
$my_dump = str_replace('desc_de_de', 'desc_de_DE', file_get_contents($dump_file));
$my_dump = str_replace('desc_en_gb', 'desc_en_GB', $my_dump);
$handle = fopen ($dump_file, "wb");
fwrite($handle, $my_dump);
fclose($handle);
}
Wahnsinnig elegant ist das immer noch nicht, aber immerhin funktioniert's mal fuer's erste. Du hast erwaehnt, du hast eine Workaround-Liste. Ist die oeffentlich, oder nur fuer Deinen Gebrauch bestimmt? Hoert sich auf jeden Fall nuetzlich an.
Dieter