Show
Ignore:
Timestamp:
10/25/06 17:11:21 (15 years ago)
Author:
beansman
Message:
  • Added the admin menu to pages ;)
Files:
1 modified

Legend:

Unmodified
Added
Removed
  • dev/common/kill_export_search.php

    r34 r35  
    1111  require_once( "db.php" ); 
    1212  require_once( "globals.php" ); 
     13  require_once( "admin_menu.php" ); 
    1314 
    1415  $page = new Page( "Administration - Export searcher" ); 
     
    5556 
    5657  $page->setContent( $html ); 
     58  $page->addContext( $menubox->generate() ); 
    5759  $page->generate(); 
    5860?>