From 226e9f6665d5a483aa5c57bde0c140cebf7fb1d2 Mon Sep 17 00:00:00 2001 From: Adrian Malacoda Date: Fri, 16 Feb 2018 00:47:27 -0600 Subject: [PATCH] move extensions to /var/lib/mediawiki too so user can add their own --- setup.sh | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/setup.sh b/setup.sh index e7483da..c88ee90 100644 --- a/setup.sh +++ b/setup.sh @@ -7,6 +7,13 @@ if [[ ! -h /app/skins ]]; then ln -s /var/lib/mediawiki/skins /app/skins fi +if [[ ! -h /app/extensions ]]; then + mkdir -p /var/lib/mediawiki/extensions + cp -R /app/extensions/* /var/lib/mediawiki/extensions + rm -rf /app/extensions + ln -s /var/lib/mediawiki/extensions /app/extensions +fi + if [[ ! -h /app/images ]]; then mkdir -p /var/lib/mediawiki/images cp -R /app/images/* /var/lib/mediawiki/images