| Index: trunk/phase3/index.php |
| — | — | @@ -98,7 +98,7 @@ |
| 99 | 99 | } |
| 100 | 100 | wfProfileOut( 'index.php-setup' ); |
| 101 | 101 | wfProfileOut( 'index.php' ); |
| 102 | | - return; |
| | 102 | + exit; |
| 103 | 103 | } |
| 104 | 104 | } |
| 105 | 105 | |
| — | — | @@ -118,7 +118,7 @@ |
| 119 | 119 | $dispatcher->performAction(); |
| 120 | 120 | wfProfileOut( 'index.php' ); |
| 121 | 121 | $mediaWiki->restInPeace(); |
| 122 | | - return; |
| | 122 | + exit; |
| 123 | 123 | } |
| 124 | 124 | |
| 125 | 125 | if ( $wgUseFileCache && $wgTitle !== null ) { |
| — | — | @@ -142,7 +142,7 @@ |
| 143 | 143 | $mediaWiki->finalCleanup(); |
| 144 | 144 | wfProfileOut( 'index.php' ); |
| 145 | 145 | $mediaWiki->restInPeace(); |
| 146 | | - return; |
| | 146 | + exit; |
| 147 | 147 | } |
| 148 | 148 | } |
| 149 | 149 | wfProfileOut( 'index.php-filecache' ); |