updated php to 8.1

2023-10-30 18:30:51 +01:00
parent 442bd64a9b
commit 4cd581aa9a
11 changed files with 20 additions and 29 deletions
@@ -0,0 +1,2 @@
+set show-all-if-ambiguous on
+set completion-ignore-case on