Error: Class "JSON" not found

An unforeseen error has occured. This is most likely a bug somewhere. It might be a problem in the indexmenu plugin.

More info has been written to the DokuWiki error log.