equal
deleted
inserted
replaced
227 else if ( isset($_SERVER['SERVER_NAME']) ) |
227 else if ( isset($_SERVER['SERVER_NAME']) ) |
228 $server_name = $_SERVER['SERVER_NAME']; |
228 $server_name = $_SERVER['SERVER_NAME']; |
229 else |
229 else |
230 $server_name = 'localhost'; |
230 $server_name = 'localhost'; |
231 |
231 |
232 return 'http' . ( $GLOBALS['is_https'] ) . '://' . $server_name; |
232 return 'http' . ( $GLOBALS['is_https'] ? 's' : '' ) . '://' . $server_name; |
233 } |
233 } |
234 |
234 |
235 /** |
235 /** |
236 * Returns the full page ID string of the main page. |
236 * Returns the full page ID string of the main page. |
237 * @return string |
237 * @return string |