Update a mediawiki installation from git repositories

update_all.sh

#!/bin/sh

echo "Updating core"
git pull
composer update

for e in extensions/*; do
	if [ -d "$e" ]; then
		cd $e
		echo "Updating $(pwd)" 
		test -e .git && git pull
		test -e composer.json && composer update --no-dev
		cd -
	fi
done

for s in skins/*; do
	if [ -d "$s" ]; then
		cd $s
		echo "Updating $(pwd)" 
		test -e .git && git pull
		test -e composer.json && composer update --no-dev 
		cd -
	fi
done