[Koha] Plugin Administration and Installation

[Mark Alexander]

Excerpts from mik's message of 2020-11-20 11:36:44 +0100:
> You will also have to activate Koha system preference "UseKohaPlugins".
> 
> Then you'll find the plugin option in Koha menu "Tools".
> 
> This is all described in the fine Koha manual:
> 
> * https://koha-community.org/manual/20.05/en/html/plugins.html

The manual is out of date.  UseKohaPlugins was removed
for 20.05.  See bug 20415:

https://bugs.koha-community.org/bugzilla3/show_bug.cgi?id=20415

Coincidentally, I'm having the same problem that is being discussed
here, but only on koha-testing-docker; a stock installation of 20.05
on Debian is working fine.  I can see that pluginsdir and
enable_plugins are set correctly in koha-conf.xml, and I've logged in
as a user with superlibrarian privileges.  But I don't see "Tool plugins"
under "Additional tools" in the Tools page.  I've tried restarting
plack, apache2, and koha-common, to no avail.

-- 
If we all work together, we can totally
disrupt the system. --Ashleigh Brilliant