| Index: trunk/phase3/includes/DefaultSettings.php |
| — | — | @@ -31,8 +31,11 @@ |
| 32 | 32 | $wgServerName = $_SERVER['SERVER_NAME']; |
| 33 | 33 | } elseif( isset( $_SERVER['HOSTNAME'] ) ) { |
| 34 | 34 | $wgServerName = $_SERVER['HOSTNAME']; |
| | 35 | +} elseif( isset( $_SERVER['HTTP_HOST'] ) ) { |
| | 36 | + $wgServerName = $_SERVER['HTTP_HOST']; |
| | 37 | +} elseif( isset( $_SERVER['SERVER_ADDR'] ) ) { |
| | 38 | + $wgServerName = $_SERVER['SERVER_ADDR']; |
| 35 | 39 | } else { |
| 36 | | - # FIXME: Fall back on... something else? |
| 37 | 40 | $wgServerName = 'localhost'; |
| 38 | 41 | } |
| 39 | 42 | |