Merge pull request #252 from MaRDI4NFDI/update-wmf-branch-1.46.0-wmf.11

Update MediaWiki branch to 1.46.0-wmf.11

Author: eloiferrer

clone_all.sh

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