概要
mediawikiを1.30->1.33に変えたときにデータが移行出来てない場合の解決方法
状態
前のバージョンでは、その1つ前のバージョンで登録されているユーザを登録していないのにもかかわらず動いていた。
今回1.33にupgradeすると、そのデータが消失してしまう！あああ！どうすりゃいいんだ？
結論
そのユーザを追加して、再度maintenanceフォルダで「php update.php」を実行する。
そうすると、よしなにテーブルを更新してくれて見えるようになった。
ああ、ありがたい。
蛇足
1.33というのが今では公式ではないから、だめなのか？とか、1.35にあげたらエラーになったとか
いろいろありましたが、とりあえずは1.33で動いて、phpも7.1->7.3に上げられました。
めでたしめでたし。