1.2.x の範囲内であれば GitHub からソースを持ってきて上書きしてコミット、でよかったのだけど、1.3.x になっていろんなところがガラッと変わったようなのでそれだけだとうまくいかない。ということでgrav公式が紹介している真っ当な方法でアップグレードをしようと思うものの、Azure上でアップグレードするのは後からGitのレポジトリに書き戻す必要があるのでやりたくない。ローカルにphpが動くウェブサーバーがあるわけでもない……ローカルにphpが動く環境なら BoW で用意できるな。ということでgravのアップグレードができるようになるまで apt install しまくったよという話。