On Mon, Jul 13, 2020 at 03:11:17PM +0200, Klap in wrote:
Hi Andi,Yes, that one bit me and it took a little while to find the solution
I'm a bit hesitating. The indexmenu plugin relies a lot on javascript.
One way of using it is with the nojs. This feature is working. The
other way is using js option. This option breaks a lot if the
'nodefer' is not enabled. I think this will disturb a lot of users if
we do now the final upgrade. It will not break the wiki, but I expect
a lot of support questions.