specificmenu.js a été remplacé par specific.js dans la version 2.4.1. Il faudrait aussi revoir le bien-fondé du var specificmenus = true; dans _init.js car il y a un risque d'erreur ("g_execbatch is not defined") dans list.js et batch.js si specificmenus = false;
specificmenu.js
a été remplacé parspecific.js
dans la version 2.4.1. Il faudrait aussi revoir le bien-fondé duvar specificmenus = true;
dans_init.js
car il y a un risque d'erreur ("g_execbatch is not defined
") danslist.js
etbatch.js
sispecificmenus = false;