Le 21/05/2010 08:40, Manuel Pégourié-Gonnard a écrit : >> If $what != language then NO change in extension is done. > > That was my intention, obviously missed. > Now I get it: If forgot to commit my last changes (I got conflicts after svn up), which precisely should have fixed that. m