diff --git a/ecrire/inc/utils.php b/ecrire/inc/utils.php index a81667f0675e66ff90ad51e1336c2f2faabfee3e..d7d7a65e697e00114c22918a3ac4b20649fc3ad9 100644 --- a/ecrire/inc/utils.php +++ b/ecrire/inc/utils.php @@ -98,8 +98,10 @@ function include_prefetch($f){ $source .= $contenu; } } + $source = "<"."?php\n$prologue?".">".$source; $source = preg_replace(',\?'.'>\s*<'.'\?php,ms','',$source); // remplacer les successions fermeture/ouverture des balises php + spip_log('ecrire prefetch: '.$nom_fetch.', '.strlen($source).'b'); ecrire_fichier($nom_fetch,$source); #compacte_php($source) si on a un compacteur qui marche ... return true; }