jenkins-bot has submitted this change and it was merged.

Change subject: ExtendedSearch: Fixed fatal
......................................................................


ExtendedSearch: Fixed fatal

* casted the return value of checkLockExistence to string

Change-Id: I65160a9663af5a90df9b6ab3320884d869618568
---
M ExtendedSearch/includes/ExtendedSearchAdmin.class.php
1 file changed, 2 insertions(+), 1 deletion(-)

Approvals:
  Robert Vogel: Looks good to me, approved
  Tweichart: Looks good to me, but someone else must approve
  jenkins-bot: Verified



diff --git a/ExtendedSearch/includes/ExtendedSearchAdmin.class.php 
b/ExtendedSearch/includes/ExtendedSearchAdmin.class.php
index b9592e7..81b2eaa 100644
--- a/ExtendedSearch/includes/ExtendedSearchAdmin.class.php
+++ b/ExtendedSearch/includes/ExtendedSearchAdmin.class.php
@@ -65,7 +65,8 @@
                                $sOutput = 
ExtendedSearchAdmin::getInstance()->getDeleteFeedback();
                                break;
                        case 'deleteLock':
-                               $sOutput = 
ExtendedSearchAdmin::getInstance()->checkLockExistence( $sMode );
+                               $sOutput = (string) 
ExtendedSearchAdmin::getInstance()
+                                       ->checkLockExistence( $sMode );
                                break;
                        default:
                                $sOutput = '';

-- 
To view, visit https://gerrit.wikimedia.org/r/235228
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I65160a9663af5a90df9b6ab3320884d869618568
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/BlueSpiceExtensions
Gerrit-Branch: master
Gerrit-Owner: Pwirth <wi...@hallowelt.biz>
Gerrit-Reviewer: Mglaser <gla...@hallowelt.biz>
Gerrit-Reviewer: Robert Vogel <vo...@hallowelt.biz>
Gerrit-Reviewer: Tweichart <weich...@hallowelt.biz>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to