Reedy has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/354596 )
Change subject: Remove wikimedia-periodic-update.sh ...................................................................... Remove wikimedia-periodic-update.sh Change-Id: I9fa798a13ee6a93cc5981e9f23e8860f6b8bacec mediawiki::maintenance::update_flaggedrev_stats does this --- D modules/mediawiki/files/maintenance/wikimedia-periodic-update.sh 1 file changed, 0 insertions(+), 7 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/operations/puppet refs/changes/96/354596/1 diff --git a/modules/mediawiki/files/maintenance/wikimedia-periodic-update.sh b/modules/mediawiki/files/maintenance/wikimedia-periodic-update.sh deleted file mode 100644 index 9eefb19..0000000 --- a/modules/mediawiki/files/maintenance/wikimedia-periodic-update.sh +++ /dev/null @@ -1,7 +0,0 @@ -#!/bin/bash -. /etc/profile.d/mediawiki.sh - -for db in `<"$MEDIAWIKI_DEPLOYMENT_DIR/dblists/flaggedrevs.dblist"`;do - echo $db - php $MEDIAWIKI_DEPLOYMENT_DIR/multiversion/MWScript.php extensions/FlaggedRevs/maintenance/updateStats.php $db -done -- To view, visit https://gerrit.wikimedia.org/r/354596 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I9fa798a13ee6a93cc5981e9f23e8860f6b8bacec Gerrit-PatchSet: 1 Gerrit-Project: operations/puppet Gerrit-Branch: production Gerrit-Owner: Reedy <re...@wikimedia.org> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
