Bon, ben on a trouvé, merci de m'avoir aidé dans mes investigations Monsieur LapinKiller !!!
Juste une petite suggestion : ne serait-il pas intéressant d'ajouter la suppression des tables mantis_plugins_pm_* ainsi que la ligne 'main_menu_custom_options' qui référence 'plugins_pluginmanager_link' dans le script de migration vers la v1.2.11 ?
non, car le plugin manager est un produit tiers et n'a jamais fait partie du package officiel de mantis
si mantis le faisait pour lui, il devrait le faire pour tout les plugins incompatibles avec la dernière version, je te laisse imaginer la complexité du truc à gérer
