jenkins-bot has submitted this change and it was merged.
Change subject: Use public instead of var in classes
......................................................................
Use public instead of var in classes
Change-Id: If451f14462648aa2c135fc7ff8ff953a1297e3dd
---
M PdfExport_body.php
1 file changed, 6 insertions(+), 6 deletions(-)
Approvals:
Legoktm: Looks good to me, approved
jenkins-bot: Verified
diff --git a/PdfExport_body.php b/PdfExport_body.php
index 73b6832..176f5ea 100755
--- a/PdfExport_body.php
+++ b/PdfExport_body.php
@@ -13,16 +13,16 @@
*/
class SpecialPdf extends SpecialPage {
- var $title;
- var $article;
- var $html;
- var $parserOptions;
- var $bhtml;
+ public $title;
+ public $article;
+ public $html;
+ public $parserOptions;
+ public $bhtml;
/**
* A converter to actually do the Pdf generation.
*/
- var $converter;
+ public $converter;
/**
* Setup the special page. Tries to detect a PDF generation tool to
use. Prefers in order: PrincePDF, HtmlDoc, DomPdf.
--
To view, visit https://gerrit.wikimedia.org/r/154654
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: If451f14462648aa2c135fc7ff8ff953a1297e3dd
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/PdfExport
Gerrit-Branch: master
Gerrit-Owner: Addshore <[email protected]>
Gerrit-Reviewer: Legoktm <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
