Merge pull request #90 from MaRDI4NFDI/MathSearchMaster

Use master branch of MathSearch

Author: physikerwelt

Dockerfile

@@ -37,7 +37,8 @@ bash clone-extension.sh Flow ${WMF_BRANCH};\
 bash clone-extension.sh JsonConfig ${WMF_BRANCH};\
 bash clone-extension.sh Lockdown ${REL_BRANCH};\
 bash clone-extension.sh Math ${WMF_BRANCH};\
-bash clone-extension.sh MathSearch ${REL_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};\