mediawiki-mirror.sh: do not fail when there is nothing to mirror

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>