Manual:$wgServer/fr
| Paramètres généraux: $wgServer | |
|---|---|
| L'URL de base du serveur. |
|
| Introduit dans la version: | pre 1.1.0 |
| Retiré dans la version: | toujours utilisé |
| Valeurs autorisées: | préfixe d'URL (protocole, hôte, port optionnel) |
| Valeur par défaut: | (créé dynamiquement) |
Autres paramètres: Alphabétique | Par Fonction
Détails [edit]
L'URL de base du serveur, incluant le protocole mais sans inclure le slash final. (exemple: "http://www.mediawiki.org")
Ceci est utilisé lorsque qu'une URL complète doit pointer vers le wiki, par exemple:
- redirections HTTP à l'édition et pour la transcription des URLs canoniques
- impression de l'adresse en bas de page
- liens vers les articles depuis les fils RSS/Atom
- dans les emails de notification
- etc...
La valeur par défaut est calculée automatiquement mais elle peut être changée (voir ci-dessous pour plus de détails).
Certains serveurs web finissent par renvoyer des valeurs par défaut aberrantes ou des noms internes qui ne correspondent pas à ce que vous attendez ; par exemple, la directive ServerName dans le httpd.conf d'Apache peut ne pas être positionnée ou détectée correctement par le système, vous laissant avec un 'localhost' inattendu. Il est recommandé de configurer le serveur web correctement, mais vous pouvez aussi écraser les paramètres manuellement dans LocalSettings.php.
Un écrasement peut aussi être utile pour certains hébergements partagés ou des configurations derrière proxy.
Voir aussi [edit]
- $wgServerName (obsolète)
- $wgProto
Contents |
Historique [edit]
Avant 1.2.0 [edit]
Calculé en appelant getenv( "SERVER_NAME" );.
1.2.0 [edit]
Basculé pour utiliser le tableau PHP $_SERVER[] au lieu de getenv(). Résout automatiquement le numéro de port.
$wgServer = "http://" . $_SERVER["SERVER_NAME"]; if( $_SERVER["SERVER_PORT"] != 80 ) $wgServer .= ":" . $_SERVER["SERVER_PORT"];
1.3.0 [edit]
Ajout du code pour résoudre automatiquement le protocole. Utilise une valeur par défaut raisonnable quand il est lancé depuis la ligne de commande.
# check if server use https: $wgProto = (isset($_SERVER['HTTPS']) && $_SERVER['HTTPS'] == 'on') ? 'https' : 'http'; if ( @$wgCommandLineMode ) { $wgServer = $wgProto.'://localhost'; } else { $wgServer = $wgProto.'://' . $_SERVER['SERVER_NAME']; if( $_SERVER['SERVER_PORT'] != 80 ) $wgServer .= ":" . $_SERVER['SERVER_PORT']; } unset($wgProto);
1.3.8 [edit]
Complète davantage de détails depuis le tableau $_SERVER[].
if( isset( $_SERVER['SERVER_NAME'] ) ) { $wgServerName = $_SERVER['SERVER_NAME']; } elseif( isset( $_SERVER['HOSTNAME'] ) ) { $wgServerName = $_SERVER['HOSTNAME']; } else { # FIXME: Repli sur... quelque chose d'autre? $wgServerName = 'localhost'; } # vérifie sur le serveur utilise https: $wgProto = (isset($_SERVER['HTTPS']) && $_SERVER['HTTPS'] == 'on') ? 'https' : 'http'; $wgServer = $wgProto.'://' . $wgServerName; if( isset( $_SERVER['SERVER_PORT'] ) && $_SERVER['SERVER_PORT'] != 80 ) { $wgServer .= ":" . $_SERVER['SERVER_PORT']; } unset($wgProto);
1.5.0 [edit]
Ajoute certaines alternatives supplémentaires pour $wgServerName au cas où les premiers tests échouent, et vérifie si le protocole HTTPS est sur le port par défaut avant de le modifier.
if( isset( $_SERVER['SERVER_NAME'] ) ) { $wgServerName = $_SERVER['SERVER_NAME']; } elseif( isset( $_SERVER['HOSTNAME'] ) ) { $wgServerName = $_SERVER['HOSTNAME']; } elseif( isset( $_SERVER['HTTP_HOST'] ) ) { $wgServerName = $_SERVER['HTTP_HOST']; } elseif( isset( $_SERVER['SERVER_ADDR'] ) ) { $wgServerName = $_SERVER['SERVER_ADDR']; } else { $wgServerName = 'localhost'; } # vérifie si le serveur utilise https: $wgProto = (isset($_SERVER['HTTPS']) && $_SERVER['HTTPS'] == 'on') ? 'https' : 'http'; $wgServer = $wgProto.'://' . $wgServerName; # Si le port n'est pas un port standard, l'ajoute à l'URL if( isset( $_SERVER['SERVER_PORT'] ) && ( ( $wgProto == 'http' && $_SERVER['SERVER_PORT'] != 80 ) || ( $wgProto == 'https' && $_SERVER['SERVER_PORT'] != 443 ) ) ) { $wgServer .= ":" . $_SERVER['SERVER_PORT']; } unset($wgProto);
1.7.0 [edit]
Le seul changement est que le port n'est pas ajouté au nom du serveur s'il contient déjà un double point, ou si le port est un port standard (80 ou 443)
/** URL du serveur. Elle sera automatiquement construite en incluant le mode https */ $wgServer = ''; if( isset( $_SERVER['SERVER_NAME'] ) ) { $wgServerName = $_SERVER['SERVER_NAME']; } elseif( isset( $_SERVER['HOSTNAME'] ) ) { $wgServerName = $_SERVER['HOSTNAME']; } elseif( isset( $_SERVER['HTTP_HOST'] ) ) { $wgServerName = $_SERVER['HTTP_HOST']; } elseif( isset( $_SERVER['SERVER_ADDR'] ) ) { $wgServerName = $_SERVER['SERVER_ADDR']; } else { $wgServerName = 'localhost'; } # vérifie si le serveur utilise https: $wgProto = (isset($_SERVER['HTTPS']) && $_SERVER['HTTPS'] == 'on') ? 'https' : 'http'; $wgServer = $wgProto.'://' . $wgServerName; # Si le port n'est pas un port standard, l'ajoute à l'URL if( isset( $_SERVER['SERVER_PORT'] ) && !strpos( $wgServerName, ':' ) && ( ( $wgProto == 'http' && $_SERVER['SERVER_PORT'] != 80 ) || ( $wgProto == 'https' && $_SERVER['SERVER_PORT'] != 443 ) ) ) { $wgServer .= ":" . $_SERVER['SERVER_PORT'];
| Langue : | English • français • 日本語 • русский |
|---|
