MaxSem has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/333832 )
Change subject: Add a role for Commons Datasets ...................................................................... Add a role for Commons Datasets Change-Id: I49e1952e15c96fa476f80c31d00b34b5f9faa19b --- A puppet/modules/role/files/commons_datasets/commons_datasets.php A puppet/modules/role/manifests/commons_datasets.pp 2 files changed, 56 insertions(+), 0 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/vagrant refs/changes/32/333832/1 diff --git a/puppet/modules/role/files/commons_datasets/commons_datasets.php b/puppet/modules/role/files/commons_datasets/commons_datasets.php new file mode 100644 index 0000000..31938ba --- /dev/null +++ b/puppet/modules/role/files/commons_datasets/commons_datasets.php @@ -0,0 +1,47 @@ +<?php + +// Safety: before extension.json, these values were initialized by JsonConfig.php +if ( !isset( $wgJsonConfigModels ) ) { + $wgJsonConfigModels = []; +} +if ( !isset( $wgJsonConfigs ) ) { + $wgJsonConfigs = []; +} +// https://www.mediawiki.org/wiki/Extension:JsonConfig#Configuration +$wgJsonConfigModels['Tabular.JsonConfig'] = 'JsonConfig\JCTabularContent'; +$wgJsonConfigs['Tabular.JsonConfig'] = [ + 'namespace' => 486, + 'nsName' => 'Data', + // page name must end in ".tab", and contain at least one symbol + 'pattern' => '/.\.tab$/', + 'license' => 'CC0-1.0+', + 'isLocal' => false, +]; + +$wgJsonConfigModels['Map.JsonConfig'] = 'JsonConfig\JCMapDataContent'; +$wgJsonConfigs['Map.JsonConfig'] = [ + 'namespace' => 486, + 'nsName' => 'Data', + // page name must end in ".map", and contain at least one symbol + 'pattern' => '/.\.map$/', + 'license' => 'CC0-1.0+', + 'isLocal' => false, +]; + +if ( $wgDBname === 'commonswiki' ) { + // Ensure we have a stable cross-wiki title resolution + // See JCSingleton::parseTitle() + $wgJsonConfigInterwikiPrefix = "meta"; + $wgJsonConfigs['Tabular.JsonConfig']['store'] = true; + $wgJsonConfigs['Map.JsonConfig']['store'] = true; +} else { + $wgJsonConfigInterwikiPrefix = "commons"; + $wgJsonConfigs['Tabular.JsonConfig']['remote'] = [ + 'url' => 'https://commons.wikimedia.org/w/api.php' + ]; + $wgJsonConfigs['Map.JsonConfig']['remote'] = [ + 'url' => 'https://commons.wikimedia.org/w/api.php' + ]; +} + +$wgJsonConfigEnableLuaSupport = true; diff --git a/puppet/modules/role/manifests/commons_datasets.pp b/puppet/modules/role/manifests/commons_datasets.pp new file mode 100644 index 0000000..fa16a4c --- /dev/null +++ b/puppet/modules/role/manifests/commons_datasets.pp @@ -0,0 +1,9 @@ +class role::commons_datasets { + include ::role::jsonconfig + include ::role::commons + + file { "${::mediawiki::managed_settings_dir}/commons_datasets.php": + ensure => present, + source => 'puppet:///modules/role/commons_datasets/commons_datasets.php', + } +} -- To view, visit https://gerrit.wikimedia.org/r/333832 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I49e1952e15c96fa476f80c31d00b34b5f9faa19b Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/vagrant Gerrit-Branch: master Gerrit-Owner: MaxSem <maxsem.w...@gmail.com> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits