jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/405383 )

Change subject: Remove 2 unused private fields from ApiFormatBase
......................................................................


Remove 2 unused private fields from ApiFormatBase

Change-Id: I20018c7c5a2bff451db44fdb605120942500c5e1
---
M includes/api/ApiFormatBase.php
1 file changed, 1 insertion(+), 1 deletion(-)

Approvals:
  jenkins-bot: Verified
  Thiemo Kreuz (WMDE): Looks good to me, approved



diff --git a/includes/api/ApiFormatBase.php b/includes/api/ApiFormatBase.php
index 4348fc8..5e14e30 100644
--- a/includes/api/ApiFormatBase.php
+++ b/includes/api/ApiFormatBase.php
@@ -30,7 +30,7 @@
  * @ingroup API
  */
 abstract class ApiFormatBase extends ApiBase {
-       private $mIsHtml, $mFormat, $mUnescapeAmps, $mHelp;
+       private $mIsHtml, $mFormat;
        private $mBuffer, $mDisabled = false;
        private $mIsWrappedHtml = false;
        private $mHttpStatus = false;

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

Gerrit-MessageType: merged
Gerrit-Change-Id: I20018c7c5a2bff451db44fdb605120942500c5e1
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: MaxSem <[email protected]>
Gerrit-Reviewer: Anomie <[email protected]>
Gerrit-Reviewer: Thiemo Kreuz (WMDE) <[email protected]>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to