| Index: trunk/tools/mwmultiversion/multiversion/MWVersion.php |
| — | — | @@ -2,8 +2,11 @@ |
| 3 | 3 | /** |
| 4 | 4 | * Get the location of the correct version of a MediaWiki web |
| 5 | 5 | * entry-point file given environmental variables such as the server name. |
| | 6 | + * This function should only be called on web views. |
| 6 | 7 | * |
| 7 | | - * If the wiki doesn't exist, then the path to missing.php will be returned. |
| | 8 | + * If the wiki doesn't exist, then wmf-config/missing.php will |
| | 9 | + * be included (and thus displayed) and PHP will exit. |
| | 10 | + * |
| 8 | 11 | * If it does, then this function also has some other effects: |
| 9 | 12 | * (a) Sets the $IP global variable (path to MediaWiki) |
| 10 | 13 | * (b) Sets the MW_INSTALL_PATH environmental variable |
| — | — | @@ -31,7 +34,8 @@ |
| 32 | 35 | # Wiki doesn't exist yet? |
| 33 | 36 | if ( $multiVersion->isMissing() ) { |
| 34 | 37 | header( "Cache-control: no-cache" ); // same hack as CommonSettings.php |
| 35 | | - return "/usr/local/apache/common-local/wmf-config/missing.php"; |
| | 38 | + include( "/usr/local/apache/common-local/wmf-config/missing.php" ); |
| | 39 | + exit; |
| 36 | 40 | } |
| 37 | 41 | |
| 38 | 42 | # Get the MediaWiki version running on this wiki... |