Manuel:$wgGitRepositoryViewers

From mediawiki.org
This page is a translated version of the page Manual:$wgGitRepositoryViewers and the translation is 100% complete.
Paramètres des scripts de maintenance: $wgGitRepositoryViewers
Mapper les URLs du dépôt Git avec leurs URLs de l’interface gitweb
Introduit dans la version :1.20.0 (Gerrit change 6776; git #8bab490d)
Retiré dans la version :Encore utilisé
Valeurs autorisées :(tableau)
Valeur par défaut :(voir ci-dessous)

Détails

Associe les URLs du dépôt Git aux URLs du visualiseur pour fournir des liens dans Special:Version. Special:Version recherche la configuration git remote et identifie une entrée git remote correcte pour la branche de code en cours d’exécution.

Cette URL doit être convertie dans l’URL de l’interface gitweb (si disponible), de sorte que les identifiants de révision git (sous forme de hachage SHA-1) puissent être liés au visualiseur du dépôt.

Cette variable est un tableau de paires (clé, valeur), la clé est utilisée pour rechercher l’URL d’entrée git remote. La clé est un motif passé à preg_match() et preg_replace(), sans les délimiteurs (qui sont #) et doit correspondre à l’URL entière.

La valeur est un motif pour obtenir une URL correcte pour l’interface gitweb. La valeur est le remplacement de l’expression régulière pour la clé (elle peut contenir $1, etc.). %h sera remplacé par le SHA-1 court (7 premiers caractères) et %H par le SHA-1 complet de la révision HEAD.

Valeur par défaut

Version de MediaWiki :
1.31
$wgGitRepositoryViewers = [
	'https://(?:[a-z0-9_]+@)?gerrit.wikimedia.org/r/(?:p/)?(.*)' => 'https://gerrit.wikimedia.org/g/%R/+/%H',
	'ssh://(?:[a-z0-9_]+@)?gerrit.wikimedia.org:29418/(.*)' => 'https://gerrit.wikimedia.org/g/%R/+/%H',
];
Versions de MediaWiki :
1.27 – 1.30
$wgGitRepositoryViewers = [
	'https://(?:[a-z0-9_]+@)?gerrit.wikimedia.org/r/(?:p/)?(.*)' =>
		'https://phabricator.wikimedia.org/r/revision/%R;%H',
	'ssh://(?:[a-z0-9_]+@)?gerrit.wikimedia.org:29418/(.*)' =>
		'https://phabricator.wikimedia.org/r/revision/%R;%H',
];
Versions de MediaWiki :
1.24 – 1.26
$wgGitRepositoryViewers = array(
	'https://(?:[a-z0-9_]+@)?gerrit.wikimedia.org/r/(?:p/)?(.*)' =>
		'https://git.wikimedia.org/tree/%r/%H',
	'ssh://(?:[a-z0-9_]+@)?gerrit.wikimedia.org:29418/(.*)' =>
		'https://git.wikimedia.org/tree/%r/%H',
);
Version de MediaWiki :
1.23
$wgGitRepositoryViewers = array(
	'https://(?:[a-z0-9_]+@)?gerrit.wikimedia.org/r/(?:p/)?(.*)' =>
		'https://git.wikimedia.org/commit/%r/%H',
	'ssh://(?:[a-z0-9_]+@)?gerrit.wikimedia.org:29418/(.*)' =>
		'https://git.wikimedia.org/commit/%r/%H',
);
Version de MediaWiki :
1.22
$wgGitRepositoryViewers = array(
	'https://gerrit.wikimedia.org/r/p/(.*)' => 'https://git.wikimedia.org/commit/%r/%H',
	'ssh://(?:[a-z0-9_]+@)?gerrit.wikimedia.org:29418/(.*)'
		=> 'https://git.wikimedia.org/commit/%r/%H',
);
Versions de MediaWiki :
1.20 – 1.21
$wgGitRepositoryViewers = array(
	'https://gerrit.wikimedia.org/r/p/(.*)' => 'https://gerrit.wikimedia.org/r/gitweb?p=$1;h=%H',
	'ssh://(?:[a-z0-9_]+@)?gerrit.wikimedia.org:29418/(.*)' => 'https://gerrit.wikimedia.org/r/gitweb?p=$1;h=%H',
);

Exemple

Si vous avez l’entrée suivante dans . ssh/config (comme décrit dans Setup SSH shortcut) :

Host review
Hostname gerrit.wikimedia.org
Port 29418
User username

Et si votre git remote utilisé pour récupérer MediaWiki est configuré de la manière suivante dans . git/config :

[remote "review"]
	url = ssh://review/mediawiki/core.git
	fetch = +refs/heads/*:refs/remotes/review/*

alors cette entrée dans LocalSettings.php fera que ssh://review/mediawiki/core.git URL sera reconnue comme pointant vers le Wikimedia git repository:

$wgGitRepositoryViewers['ssh://(?:[a-z0-9_]+@)?review/(.*)'] = 'https://gerrit.wikimedia.org/r/gitweb?p=$1;h=%H';

GitHub

Lorsque vous utilisez des extensions maintenues sur GitHub, vous pouvez les utiliser pour les lier.

$wgGitRepositoryViewers['https://github.com/(.*?)(.git)?'] = 'https://github.com/$1/commit/%H';