Merge pull request #248 from MaRDI4NFDI/update-wmf-branch-1.46.0-wmf.7

Update MediaWiki branch to 1.46.0-wmf.7

Author: physikerwelt

clone_all.sh

@@ -1,7 +1,7 @@
 #!/bin/bash 
 set -euxo pipefail
 
-WMF_BRANCH=wmf/1.46.0-wmf.4
+WMF_BRANCH=wmf/1.46.0-wmf.7
 REL_BRANCH=REL1_45
 
 git clone --depth=1 --single-branch -b "${WMF_BRANCH}" https://github.com/wikimedia/mediawiki.git mediawiki