//  Copyright 2001 Jamie McClelland, pagetool@mediajumpstart.org

/*
    This file is part of the Search Installer, a
    plugin for Pagetool.

    The Search Installer, like Pagetool, is free
    software; you can redistribute it and/or modify it under the
    terms of the GNU General Public License as published by
    the Free Software Foundation; either version 2 of the License, or
    (at your option) any later version.
*/


// Delete the php code from pt_core_wwwpages
$sql="delete from pt_core_wwwpages where name='pagetool_search'";

pt_query($sql);
pt_errcheck("Pagetool Search $str_plugin_deleted_from_wwwpages");
echo "<br>";
$sql="delete from pt_core_plugins where name='pt_search'";

pt_query($sql);
pt_errcheck("Pagetool Search $str_plugin_deleted_from_plugins");
echo "<br><br>"; 



// Delete the php code from pt_core_wwwpages
$sql="delete from pt_core_wwwpages where name='pagetool_search_no'";

pt_query($sql);
pt_errcheck("Pagetool Search (Norwegian) $str_plugin_deleted_from_wwwpages");
echo "<br>";
$sql="delete from pt_core_plugins where name='pt_search_no'";

pt_query($sql);
pt_errcheck("Pagetool Search (Norwegian) $str_plugin_deleted_from_plugins");
echo "<br><br>"; 
