Dzahn has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/354596 )
Change subject: mediawiki: Remove wikimedia-periodic-update.sh ...................................................................... mediawiki: Remove wikimedia-periodic-update.sh Follows-up ec405bad8376a. mediawiki::maintenance::update_flaggedrev_stats does this Change-Id: I9fa798a13ee6a93cc5981e9f23e8860f6b8bacec --- D modules/mediawiki/files/maintenance/wikimedia-periodic-update.sh 1 file changed, 0 insertions(+), 7 deletions(-) Approvals: Krinkle: Looks good to me, but someone else must approve jenkins-bot: Verified Dzahn: Looks good to me, approved 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: merged Gerrit-Change-Id: I9fa798a13ee6a93cc5981e9f23e8860f6b8bacec Gerrit-PatchSet: 5 Gerrit-Project: operations/puppet Gerrit-Branch: production Gerrit-Owner: Reedy <[email protected]> Gerrit-Reviewer: Alex Monk <[email protected]> Gerrit-Reviewer: Dzahn <[email protected]> Gerrit-Reviewer: Giuseppe Lavagetto <[email protected]> Gerrit-Reviewer: Krinkle <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
