DokuWiki をダウングレードする
DokuWiki のプラグインである IndexMenu の挙動がおかしくなり、プラグインを再インストールしたことについて書いた。
DokuWiki プラグインの手動インストール – with a Christian Wife
https://wacw.cf/2020/06/15/installing-dokuwiki-plugin-manually/
海外のフォーラムを見てみると、やはり DokuWiki を Hogfather にアップデートすると、それに対応していない IndexMenu の挙動がおかしくなるようだ。
Impossible to use my wiki after the update – DokuWiki User Forum
https://forum.dokuwiki.org/d/17855-impossible-to-use-my-wiki-after-the-update
フォーラムでは、Hogfather にアップデートしない、あるいは旧バージョンに戻すことで解決するという。もうアップデートしてしまったので、旧バージョンの DokuWiki に戻すことに挑戦してみた。
（１）まずは現在の DokuWiki のデータをバックアップする。
公式サイトには最低でも以下のディレクトリをバックアップせよと書かれている。
・data/pages – 現在のページ
・data/meta – ページのメタ情報（最初の作成者、メール通知の登録者、等）
・data/media – 現在のメディアファイル（画像、PDF、等）
・data/media_meta – メディアファイルのメタ情報
・data/attic – ページの古いバージョン全て
・data/media_attic – メディアファイルの古いバージョン全て
・conf – 設定ファイル
参考：
ja：faq：backup ［DokuWiki］
https://www.dokuwiki.org/ja:faq:backup
私は一応プラグインのディレクトリもバックアップしておいた。
・ lib/plugins – プラグイン
（２）うまく復元ができるか試すために、MAMP を使ってローカルで DokuWiki を新規インストールした。
［Mac］ DokuWiki を簡単にローカルに構築する – with a Christian Wife
https://wacw.cf/2017/11/16/setting-up-dokuwiki-locally/
＊＊＊
１のディレクトリを２で構築した DokuWiki に上書きしたり、差し替えたりしてみたが、うまく復元ができない。conf ディレクトリと plugins ディレクトリの復元がうまくできないようだ。
なので、ページやメディアのデータのみを復元し、DokuWiki の設定やプラグインは手動で設定し直すほうが安全なようだ（事前に実験をして確かめておいてよかった）。
しかしそんな面倒なことをしなくても、公式のアップデートのマニュアルによるとアップデートは単に新しいバージョンの DokuWiki で全ファイルを上書きすればいいという。
install：upgrade ［DokuWiki］
https://www.dokuwiki.org/install:upgrade
それならダウンロードも、旧バージョンの DokuWiki で上書きするだけでいいのかもしれない。
（３）DokuWiki 公式サイトでは、安定版として 2018-04-22c "Greebo" がダウンロードできる状態になっている（2020/06/10 時点）。
Download DokuWiki
https://download.dokuwiki.org/
「Stable (direct link) 2018-04-22c "Greebo"」と書かれているところの direct link をクリックしダウンロード。解凍。
（４）現在運用中の DokuWiki に対して３のファイルを上書きする（install.php は上書きファイルから除く）。
勇気がいるけれど、１でバックアップ済みなので問題が起きても復元できるはず。
そして上書きが完了すると、無事旧バージョンの DokuWiki にダウンロードでき、IndexMenu の不具合も起こらなくなった。
DokuWiki のアップデート通知が邪魔くさいときは、Admin＞Configuration Settings＞Advanced＞update check のチェックを外せばいい。
参考：
DokuWiki のドメインを移行する – with a Christian Wife
https://wacw.cf/2018/07/30/moving-dokuwiki-domains/