MaxSem has uploaded a new change for review. (
https://gerrit.wikimedia.org/r/403619 )
Change subject: Update role::globalpreferences
......................................................................
Update role::globalpreferences
File in question has moved
Change-Id: I21f01187d9c4b2335374c0f2cb49bec2a5216910
---
M puppet/modules/role/manifests/globalpreferences.pp
1 file changed, 1 insertion(+), 1 deletion(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/vagrant
refs/changes/19/403619/1
diff --git a/puppet/modules/role/manifests/globalpreferences.pp
b/puppet/modules/role/manifests/globalpreferences.pp
index b1adb57..0c4ed6b 100644
--- a/puppet/modules/role/manifests/globalpreferences.pp
+++ b/puppet/modules/role/manifests/globalpreferences.pp
@@ -13,7 +13,7 @@
}
mysql::sql { 'Create global_preferences table':
- sql => "USE ${shared_db}; SOURCE
${::mediawiki::dir}/extensions/GlobalPreferences/schema.sql;",
+ sql => "USE ${shared_db}; SOURCE
${::mediawiki::dir}/extensions/GlobalPreferences/sql/tables.sql;",
unless => "SELECT COUNT(*) FROM INFORMATION_SCHEMA.TABLES WHERE
table_schema = '${shared_db}' AND table_name = 'global_preferences';",
require => [
Mysql::Db[$shared_db],
--
To view, visit https://gerrit.wikimedia.org/r/403619
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I21f01187d9c4b2335374c0f2cb49bec2a5216910
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/vagrant
Gerrit-Branch: master
Gerrit-Owner: MaxSem <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
