[Sommaire] [Imprimer]

   1  <?php
   2  // $Id: find.php 14872 2004-04-12 13:02:09Z ralfbecker $
   3  
   4  require('parse/html.php');
   5  require(TemplateDir . '/find.php');
   6  
   7  // Find a string in the database.
   8  function action_find()
   9  {
  10      global $pagestore;
  11  
  12      $find = $_POST['find'] ? $_POST['find'] : $_GET['find'];
  13  
  14      $list = $pagestore->find($find);
  15  
  16      $text = '';
  17      foreach($list as $page)
  18      {
  19          $text .= html_ref($page, $page) . html_newline();
  20      }
  21      template_find(array(
  22          'find'  => $find,
  23          'pages' => $text)
  24      );
  25  }
  26  ?>