plugin/deleted.inc.php

   1 <?php
   2 /////////////////////////////////////////////////
   3 // PukiWiki - Yet another WikiWikiWeb clone.
   4 //
   5 // $Id: deleted.inc.php,v 1.4 2004/07/01 14:38:19 henoheno Exp $
   6 //
   7 //ºï½ü¤µ¤ì¤¿¥Ú¡¼¥¸(BACKUP_DIR¤Ë¤¢¤Ã¤Æ¡¢DATA_DIR¤Ë¤Ê¤¤¥Õ¥¡¥¤¥ë)¤Î°ìÍ÷¤òÉ½¼¨¤¹¤ë
   8
   9 function plugin_deleted_action()
  10 {
  11         global $vars;
  12         global $_deleted_plugin_title,$_deleted_plugin_title_withfilename;
  13
  14         $retval = array();
  15
  16         $retval['msg'] = $_deleted_plugin_title;
  17         if ($withfilename = array_key_exists('file',$vars))
  18         {
  19                 $retval['msg'] = $_deleted_plugin_title_withfilename;
  20         }
  21         $backup_pages = get_existpages(BACKUP_DIR,BACKUP_EXT);
  22         $exist_pages = get_existpages();
  23         $deleted_pages = array_diff($backup_pages,$exist_pages);
  24         $retval['body'] = page_list($deleted_pages,'backup',$withfilename);
  25
  26         return $retval;
  27 }
  28 ?>