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

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

    The Pagetool Administrator Manual 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.
*/

// First, delete the php code from pt_core_wwwpages
$sql="delete from pt_core_wwwpages where name='pt_admin_man_en'";
pt_query($sql);
pt_errcheck("Pagetool Administrator Manual (en) $str_plugin_deleted_from_wwwpages");
echo "<br>";

// Now, delete from the pt_core_plugins table.
$sql="delete from pt_core_plugins where name='pt_admin_man_en'";
pt_query($sql);
pt_errcheck("Pagetool Administrator Manual (en) $str_plugin_deleted_from_plugins");
echo "<br><br>";
