diff options
Diffstat (limited to 'index.php')
| -rw-r--r-- | index.php | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/index.php b/index.php index 8f6fc3bc4ac9..7b61ddf5ffb8 100644 --- a/index.php +++ b/index.php @@ -103,8 +103,11 @@ if ( !is_null( $wgTitle ) && !$wgTitle->userCanRead() ) { } wfProfileIn( 'main-action' ); - $search = $wgRequest->getText( 'search' ); +if( $wgDisableInternalSearch && !is_null( $search ) && $search !== '' ) { + $wgTitle = Title::makeTitle( NS_SPECIAL, 'Search' ); +} + if( !$wgDisableInternalSearch && !is_null( $search ) && $search !== '' ) { require_once( 'includes/SpecialSearch.php' ); $wgTitle = Title::makeTitle( NS_SPECIAL, 'Search' ); |