Manual:$wgGitRepositoryViewers/fr
| <translate> Maintenance scripts setting</translate>: $wgGitRepositoryViewers | |
|---|---|
| Mapper les URLs du dépôt Git avec leurs URLs de l’interface gitweb |
|
| <translate> Introduced in version:</translate> | 1.20.0 (Gerrit change 6776; git #8bab490d) |
| <translate> Removed in version:</translate> | <translate> still in use</translate> |
| <translate> Allowed values:</translate> | (tableau) |
| <translate> Default value:</translate> | (voir ci-dessous) |
| <translate> Other settings:</translate> <translate> Alphabetical</translate> | <translate> By function</translate> | |
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
<td class="mw-version-versionbox" title="<translate nowrap> The latest stable version is <tvar name=1>1.41</tvar></translate>">| <translate> MediaWiki version:</translate> |
$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',
];
| <translate> MediaWiki versions:</translate> |
$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',
];
| <translate> MediaWiki versions:</translate> |
$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 : |
$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 : |
$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',
);
| <translate> MediaWiki versions:</translate> |
$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';
