jenkins-bot has submitted this change and it was merged.
Change subject: Fix Undefined index: fulltext
......................................................................
Fix Undefined index: fulltext
Nov 15 13:24:25 mw1025: #012Notice: Undefined index: fulltext in
/srv/mediawiki/search-redirect.php on line 5
Wrap long line
Change-Id: I0626344a48e3015e649ada4d77414f9c52b87397
---
M search-redirect.php
1 file changed, 4 insertions(+), 2 deletions(-)
Approvals:
Reedy: Looks good to me, approved
jenkins-bot: Verified
diff --git a/search-redirect.php b/search-redirect.php
index 55e85b5..a856d2d 100644
--- a/search-redirect.php
+++ b/search-redirect.php
@@ -2,7 +2,7 @@
// get params
$language = $_GET['language'];
$search = $_GET['search'];
-$fulltext = $_GET['fulltext'];
+$fulltext = isset( $_GET['fulltext'] ) ? $_GET['fulltext'] : false;
$go = $_GET['go'];
if ( isset( $_GET['family'] ) ) {
@@ -11,7 +11,9 @@
$family = 'wikipedia';
}
-if ( ( isset( $_SERVER['HTTP_X_FORWARDED_PROTO'] ) &&
$_SERVER['HTTP_X_FORWARDED_PROTO'] === 'https' ) || ( isset( $_SERVER['HTTPS']
) && $_SERVER['HTTPS'] === 'on' ) ) {
+if ( ( isset( $_SERVER['HTTP_X_FORWARDED_PROTO'] ) &&
$_SERVER['HTTP_X_FORWARDED_PROTO'] === 'https' )
+ || ( isset( $_SERVER['HTTPS'] ) && $_SERVER['HTTPS'] === 'on' )
+) {
$proto = 'https';
} else {
$proto = 'http';
--
To view, visit https://gerrit.wikimedia.org/r/173508
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I0626344a48e3015e649ada4d77414f9c52b87397
Gerrit-PatchSet: 2
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Reedy <[email protected]>
Gerrit-Reviewer: Reedy <[email protected]>
Gerrit-Reviewer: Tim Starling <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
