DokuWikiをアップグレードしたらinc/Plugin.phpがなくて動かなかった

はじめに

• ひさしぶりに自分のDokuwikiを開いたらUpgradeの案内が出ていた
• 2017-02-19e "Frusterick Manners" → 2018-04-22a "Greebo"にアップグレード
• HTTP Error 500 : This page isn't workingと表示された(｡ŏ﹏ŏ)

アップグレードの手順

1. DokuWikiにAdmin権限を持つアカウントでログイン
2. プラグインマネージャを使ってWiki Upgradeプラグインを最新版に更新（ついでに、他のoutdatedなプラグインを更新した）
3. 念のため（というか過去に一度失敗しているため）dokuwikiフォルダのバックアップ（dokuwiki.zip）を作成
4. Wiki Upgradeプラグインに従って進める。すべてOKで終わる
5. ・・・なのに、ページが表示されない(｡ŏ﹏ŏ)うわ～ん

issueを探した

• 同じようなことで困っている人は必ずいるだろうと思って、DokuWiki GitHubリポジトリのissueを検索
  • this page isn't workingで検索してもヒットしない
  • HTTP Error 500の500で検索したらヒット！
  • https://github.com/splitbrain/dokuwiki/issues/2340
• ここに書いてあるとおりに inc/Plugin.php を作成
  • ファイル名が大文字／小文字のcase sensitiveな話以前に、inc/plugin.phpすらなかった（なんで？2018-04-22 "Greebo"をスキップしたから？？）
  • パーミッションは644でOKだった
• 自分のDokuWikiのURLをリロードしたら表示された！٩(๑´3｀๑)۶