www/plugins/rss_article_3_0/exec/rss_article.php

   1 <?php
   2 /**
   3  * Plugin rss en article
   4  *
   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
   7  */
   8
   9
  10 if (!defined('_ECRIRE_INC_VERSION')) {
  11         return;
  12 }
  13
  14 include_spip("inc/presentation");
  15
  16 function exec_rss_article_dist(){
  17         // si pas autorise : message d'erreur   ... admin ... a affiner
  18         if (!autoriser('editer', 'article')) {
  19                 include_spip('inc/minipres');
  20                 echo minipres();
  21                 exit;
  22         }
  23
  24         include_spip("genie/rssarticle_copie");
  25
  26         //
  27         // affichages
  28         //
  29
  30         $commencer_page = charger_fonction('commencer_page', 'inc');
  31         echo $commencer_page(_T('rssarticle:activer_recopie_intro'), 'editer', 'editer');
  32         // titre
  33         echo "<br /><br /><br />\n"; // outch ! aie aie aie ! au secours !
  34         echo gros_titre(_T('rssarticle:activer_recopie_intro'),'', false);
  35
  36         // colonne gauche
  37         echo debut_gauche('', true);
  38         echo debut_droite('', true);
  39
  40         // centre de la page
  41         genie_rssarticle_copie_dist("manuel");
  42         echo '<div><small>'.date('Y/m/d H:i:s').'</small><br />'._T('rssarticle:maj_manuelle').'</div>';
  43         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
  45         // pied
  46         echo fin_gauche() . fin_page();
  47 }
  48