Eviter une notice sur la définition du pipeline.

Il faut toujours penser que parfois l'index du pipeline n'existe pas encore.

html5up_forty_options.php

@@ -5,7 +5,11 @@ if (!defined('_ECRIRE_INC_VERSION')) {return;}
 
 $GLOBALS['z_blocs'] = array('content', 'head', 'head_js', 'header', 'footer');
 
+if (!isset($GLOBALS['spip_pipeline']['affichage_final'])) {
+	$GLOBALS['spip_pipeline']['affichage_final'] = '';
+}
 $GLOBALS['spip_pipeline']['affichage_final'] .= '|tinytypo';
+
 function tinytypo($texte) {
 	$texte = str_replace('hr class="spip"', 'hr', $texte);
 	$texte = str_replace('spip_out', 'external', $texte);
@@ -14,4 +18,4 @@ function tinytypo($texte) {
 	$texte = str_replace('blockquote class="spip"', 'blockquote', $texte);
 	$texte = str_replace('<table class="spip', '<table class="table spip', $texte);
 	return $texte;
-}
+}