www/plugins/rss_article_3_0/exec/rss_article.php

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