Merge pull request #125 from wikimedia/rm-38

Remove last bit of 1.38
wikimedia · Jul 14, 2023 · 63fb951 · 63fb951
2 parents d81c6d2 + e5a3bcd
commit 63fb951
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/update.sh b/update.sh
@@ -11,7 +11,6 @@ mediawikiReleases=( "${mediawikiReleases[@]%/}" )
 
 declare -A phpVersion=(
 	[default]='8.1'
-        [1.38]='8.0'
         [1.35]='8.0'
 )