Speed up extension cloning

Author: physikerwelt

Dockerfile

@@ -40,8 +40,8 @@ bash clone-extension.sh Math ${WMF_BRANCH};\
 # Here, we store MaRDI-specific code.
 bash clone-extension.sh MathSearch master;\
 bash clone-extension.sh Nuke ${WMF_BRANCH};\
-bash clone-extension.sh OAuth ${WMF_BRANCH};\
-bash clone-extension.sh Popups ${WMF_BRANCH};\
+bash -extension.sh OAuth ${WMF_BRANCH};\
+bash -extension.sh Popups ${WMF_BRANCH};\
 bash clone-extension.sh Scribunto ${WMF_BRANCH};\
 bash clone-extension.sh TemplateStyles ${WMF_BRANCH};\
 bash clone-extension.sh UniversalLanguageSelector ${WMF_BRANCH};\
@@ -61,26 +61,27 @@ bash clone-extension.sh Thanks ${WMF_BRANCH};\
 bash clone-extension.sh LinkedWiki ${REL_BRANCH}
 
 # clone extensions not officially distributed by mediawiki
-RUN git clone https://github.com/ProfessionalWiki/WikibaseLocalMedia.git WikibaseLocalMedia &&\
+RUN git clone --depth=1 https://github.com/ProfessionalWiki/WikibaseLocalMedia.git WikibaseLocalMedia &&\
 rm -rf WikibaseLocalMedia/.git
 
-RUN git clone https://github.com/ProfessionalWiki/WikibaseExport.git WikibaseExport &&\
+RUN git clone --depth=1 https://github.com/ProfessionalWiki/WikibaseExport.git WikibaseExport &&\
 rm -rf WikibaseExport/.git
 
-RUN git clone https://github.com/MaRDI4NFDI/MatomoAnalytics.git MatomoAnalytics &&\
+RUN git clone --depth=1 https://github.com/MaRDI4NFDI/MatomoAnalytics.git MatomoAnalytics &&\
 rm -rf MatomoAnalytics/.git
 
-RUN git clone https://github.com/ProfessionalWiki/ExternalContent.git ExternalContent &&\
+RUN git clone --depth=1 https://github.com/ProfessionalWiki/ExternalContent.git ExternalContent &&\
 rm -rf ExternalContent/.git
 
-RUN git clone https://github.com/SemanticMediaWiki/SemanticDrilldown.git SemanticDrilldown &&\
+RUN git clone --depth=1 https://github.com/SemanticMediaWiki/SemanticDrilldown.git SemanticDrilldown &&\
 rm -rf SemanticDrilldown/.git
 
-RUN git clone https://github.com/wikimedia/mediawiki -b ${WMF_BRANCH} &&\
+# clone core
+RUN git clone --depth=1 https://github.com/wikimedia/mediawiki -b ${WMF_BRANCH} &&\
 rm -rf mediawiki/.git
 
 # Clone Vector Skin (not included in the mediawiki repository)
-RUN git clone https://github.com/wikimedia/mediawiki-skins-Vector -b ${WMF_BRANCH} Vector &&\
+RUN git clone --depth=1 https://github.com/wikimedia/mediawiki-skins-Vector -b ${WMF_BRANCH} Vector &&\
 rm -rf Vector/.git