[General] Set minimum required PHP version to 8.1

Review Request #1020 — Created July 26, 2023 and submitted — Latest diff uploaded

pprkut
Lunr
31eef53...
lunr

Set minimum required PHP version to 8.1

GitHub actions run: https://github.com/pprkut/lunr/actions/runs/5670263600

Loading...