Upgrade dev tools; raise PHP requirement to 8.1; fix deprecation warning.#27

Merged

demiankatz merged 2 commits intovufind-org:devfrom demiankatz:update-tools-20240311

Mar 11, 2024

+33-31

Commits on Mar 11, 2024