| Index: trunk/phase3/includes/templates/NoLocalSettings.php |
| — | — | @@ -7,9 +7,10 @@ |
| 8 | 8 | } |
| 9 | 9 | # Set the path in case we hit a page such as /index.php/Main_Page |
| 10 | 10 | # Could use <base href> but then we have to worry about http[s]/port #/etc. |
| | 11 | +$ext = strpos( $_SERVER['SCRIPT_NAME'], 'index.php5' ) === false ? 'php' : 'php5'; |
| 11 | 12 | $path = ''; |
| 12 | 13 | if( isset( $_SERVER['SCRIPT_NAME'] )) { |
| 13 | | - $path = htmlspecialchars( preg_replace('/index.php/', '', $_SERVER['SCRIPT_NAME']) ); |
| | 14 | + $path = htmlspecialchars( preg_replace('/index.php5?/', '', $_SERVER['SCRIPT_NAME']) ); |
| 14 | 15 | } |
| 15 | 16 | ?> |
| 16 | 17 | <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> |
| — | — | @@ -39,7 +40,7 @@ |
| 40 | 41 | if ( file_exists( 'config/LocalSettings.php' ) ) { |
| 41 | 42 | echo( 'To complete the installation, move <tt>config/LocalSettings.php</tt> to the parent directory.' ); |
| 42 | 43 | } else { |
| 43 | | - echo( "Please <a href=\"${path}config/index.php\" title='setup'> set up the wiki</a> first." ); |
| | 44 | + echo( "Please <a href=\"${path}config/index.{$ext}\" title='setup'> set up the wiki</a> first." ); |
| 44 | 45 | } |
| 45 | 46 | ?> |
| 46 | 47 | |