mediawiki/scripts/updateSpecialPages.sh
2021-01-12 08:49:20 +01:00

8 lines
No EOL
162 B
Bash

#!/bin/bash
set -euo pipefail
echo updateSpecialPages
echo
/usr/local/bin/php /var/www/html/maintenance/updateSpecialPages.php
echo updateSpecialPages finished