Manuel:$wgGitRepositoryViewers
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) |
Autres paramètres : Alphabétique | Par fonction |
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';