jenkins-bot has submitted this change and it was merged.
Change subject: Reference env::var resource in mediawiki/manifests/user.pp
......................................................................
Reference env::var resource in mediawiki/manifests/user.pp
The Exec['set mediawiki install path'] resource was migrated to a custom
'env::var' resource type, but the reference to it here remained.
Bug: 51552
Change-Id: I0665da5ff916ce831c0c0f6ad28c935d4c8c88d3
---
M puppet/modules/mediawiki/manifests/user.pp
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Ori.livneh: Looks good to me, approved
jenkins-bot: Verified
diff --git a/puppet/modules/mediawiki/manifests/user.pp
b/puppet/modules/mediawiki/manifests/user.pp
index 3e31aef..83e5f96 100644
--- a/puppet/modules/mediawiki/manifests/user.pp
+++ b/puppet/modules/mediawiki/manifests/user.pp
@@ -28,6 +28,6 @@
cwd => "${mediawiki::dir}/maintenance",
command => "php createAndPromote.php ${username} ${password}",
unless => "php createAndPromote.php ${username} 2>&1 | grep -q
'^Account exists'",
- require => Exec['mediawiki setup', 'set mediawiki install path'],
+ require => [ Exec['mediawiki setup'], Env::Var['MW_INSTALL_PATH'] ],
}
}
--
To view, visit https://gerrit.wikimedia.org/r/74175
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I0665da5ff916ce831c0c0f6ad28c935d4c8c88d3
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/vagrant
Gerrit-Branch: master
Gerrit-Owner: Ori.livneh <[email protected]>
Gerrit-Reviewer: Ori.livneh <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
