diff --git a/ecrire/inc/utils.php b/ecrire/inc/utils.php index 2063a52d36032b353c0fa6fc130ff991a144f72e..0450dc234c720dff2366d4a33118254f999d0c37 100644 --- a/ecrire/inc/utils.php +++ b/ecrire/inc/utils.php @@ -110,7 +110,7 @@ function pipeline($action, $val=null) { include_spip('inc/plugin'); // generer les fichiers php precompiles // de chargement des plugins et des pipelines - verif_plugin(); + actualise_plugins_actifs(); if (!($ok = @is_readable($charger))) spip_log("fichier $charger pas cree"); } @@ -130,7 +130,7 @@ function pipeline($action, $val=null) { include_spip('inc/plugin'); // on passe $action en arg pour creer la fonction meme si le pipe // n'est defini nul part ; vu qu'on est la c'est qu'il existe ! - verif_plugin(strtolower($action)); + actualise_plugins_actifs(strtolower($action)); spip_log("fonction $fonc absente : pipeline desactive"); }