diff --git a/ecrire/action/activer_plugins.php b/ecrire/action/activer_plugins.php index 78fa8a1a7962050344bce68945ebb9b2f2902674..b430c69afaab1f736d602de899db279ccc615430 100644 --- a/ecrire/action/activer_plugins.php +++ b/ecrire/action/activer_plugins.php @@ -55,7 +55,8 @@ function action_activer_plugins_dist() { if (!autoriser('configurer', 'plugins')) die('erreur'); - + // forcer la maj des meta pour les cas de modif de numero de version base via phpmyadmin + lire_metas(); enregistre_modif_plugin(); }