hidepagetools plugin for DokuWiki

If the user is not logged in, hide the page tools.

All documentation for this plugin can be found at
http://dokuwiki.org/plugin:hidepagetools

If you install this plugin manually, make sure it is installed in
lib/plugins/hidepagetools/ - if the folder is called different it
will not work!

Please refer to http://www.dokuwiki.org/extensions for additional info
on how to install extensions in DokuWiki.

----
Copyright (C) Daniel Weisshaar <daniwei-dev@gmx.de>

This program 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; version 2 of the License

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

See the LICENSING file for details