#!/bin/bash

echo "$0: START"

#set -x
set -e

source /usr/share/mediawiki-shell/common

## example:
[[ -v DESTINATION_WIKI_URL ]] || DESTINATION_WIKI_URL='https://www.kicksecure.com/w'
SOURCE_WIKI_URL="$DESTINATION_WIKI_URL"

## These variables should be set by the calling script as environment variables.
[[ -v SOURCE_WIKI_URL ]] || missing_variable SOURCE_WIKI_URL For example: SOURCE_WIKI_URL='https://www.whonix.org/w'
[[ -v SOURCE_TARGET_API ]] || SOURCE_TARGET_API="${SOURCE_WIKI_URL}/api.php"

## XXX: required by /usr/share/mediawiki-shell/common but not elegant.
WIKI_URL="$SOURCE_WIKI_URL"

source /usr/share/mediawiki-shell/common
source /usr/share/mediawiki-shell/wiki-config

echo "$0: INFO: TMPFOLDER        : $TMPFOLDER"
echo "$0: INFO: SOURCE_WIKI_URL  : $SOURCE_WIKI_URL"
echo "$0: INFO: SOURCE_TARGET_API: $SOURCE_TARGET_API"

wiki_script=mw-patch-modify-wiki-page
export WIKI_URL SOURCE_WIKI_URL wiki_script

mw-process-all-pages
