Notice PHP en moins (et un rien de phpdoc)

exec/admin_plugin.php

@@ -19,7 +19,7 @@
  *
  * @plugin SVP pour SPIP
  * @license GPL
- * @package SPIP\SVP\Actions
+ * @package SPIP\SVP\Exec
  */
 if (!defined('_ECRIRE_INC_VERSION')) return;
 
@@ -27,6 +27,14 @@ include_spip('inc/presentation');
 
 /**
  * Affichage de la page de gestion des plugins
+ *
+ * @use actualise_plugins_actifs()
+ * @use svp_presenter_actions_realisees()
+ * @use plugin_installes_meta()
+ * @use plugin_donne_erreurs()
+ * 
+ * @pipeline_appel affiche_gauche
+ * @pipeline_appel affiche_droite
  */
 function exec_admin_plugin_dist() {
 

inc/svp_actionner.php

@@ -788,7 +788,7 @@ class Actionneur {
 	function do_on($info) {
 		$i = sql_fetsel('*','spip_paquets','id_paquet='.sql_quote($info['i']));
 		// à télécharger ?
-		if ($i['id_zone'] > 0) {
+		if (isset($i['id_zone']) and $i['id_zone'] > 0) {
 			return $this->do_geton($info);
 		}