plugin/lastmod.inc.php

   1 <?php
   2 // PukiWiki - Yet another WikiWikiWeb clone
   3 // $Id: lastmod.inc.php,v 1.3 2005/01/31 13:03:41 henoheno Exp $
   4 //
   5 // Lastmod plugin - Show lastmodifled date of the page
   6 // Originally written by Reimy, 2003
   7
   8 function plugin_lastmod_inline()
   9 {
  10         global $vars, $WikiName, $BracketName;
  11
  12         $args = func_get_args();
  13         $page = $args[0];
  14
  15         if ($page == ''){
  16                 $page = $vars['page']; // Default: page itself
  17         } else {
  18                 if (preg_match("/^($WikiName|$BracketName)$/", strip_bracket($page))) {
  19                         $page = get_fullname(strip_bracket($page), $vars['page']);
  20                 } else {
  21                         return FALSE;
  22                 }
  23         }
  24         if (! is_page($page)) return FALSE;
  25
  26         return format_date(get_filetime($page));
  27 }
  28 ?>