3 * Plugin rss en article
5 * page cachée pour les gens préssés ne pouvant pas attendre le genie
6 * permet de relancer manuellement la recopie du flux en article
10 if (!defined("_ECRIRE_INC_VERSION")) return;
12 include_spip("inc/presentation");
14 function exec_rss_article_dist(){
15 // si pas autorise : message d'erreur ... admin ... a affiner
16 if (!autoriser('editer', 'article')) {
17 include_spip('inc/minipres');
22 include_spip("genie/rssarticle_copie");
28 $commencer_page = charger_fonction('commencer_page', 'inc');
29 echo $commencer_page(_T('rssarticle:activer_recopie_intro'), 'editer', 'editer');
31 echo "<br /><br /><br />\n"; // outch ! aie aie aie ! au secours !
32 echo gros_titre(_T('rssarticle:activer_recopie_intro'),'', false);
35 echo debut_gauche('', true);
36 echo debut_droite('', true);
39 genie_rssarticle_copie_dist("manuel");
40 echo '<div><small>'.date('Y/m/d H:i:s').'</small><br />'._T('rssarticle:maj_manuelle').'</div>';
41 echo '<div style="margin:2em 0;"><a href="?exec=rss_article" style="border:1px solid;padding:0.5em;background:#fff;">'._T('rssarticle:maj_recharge').'</a></div>';
44 echo fin_gauche() . fin_page();