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: I888ec06fc2f1fe72b217b861f9073dc09d7285f5
---
M DoubleWiki_body.php
1 file changed, 1 insertion(+), 1 deletion(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/DoubleWiki_body.php b/DoubleWiki_body.php
index debc5a5..6b5bc5f 100644
--- a/DoubleWiki_body.php
+++ b/DoubleWiki_body.php
@@ -19,7 +19,7 @@
        /**
         * Tags that must be closed. (list copied from Sanitizer.php)
         */
-       var $tags = 
'/<\/?(b|del|i|ins|u|font|big|small|sub|sup|h1|h2|h3|h4|h5|h6|cite|code|em|s|strike|strong|tt|tr|td|var|div|center|blockquote|ol|ul|dl|table|caption|pre|ruby|rt|rb|rp|p|span)([\s](.*?)>|>)/i';
+       public $tags = 
'/<\/?(b|del|i|ins|u|font|big|small|sub|sup|h1|h2|h3|h4|h5|h6|cite|code|em|s|strike|strong|tt|tr|td|var|div|center|blockquote|ol|ul|dl|table|caption|pre|ruby|rt|rb|rp|p|span)([\s](.*?)>|>)/i';
 
        /**
         * Read the list of matched phrases and add tags to the html output.

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

Gerrit-MessageType: merged
Gerrit-Change-Id: I888ec06fc2f1fe72b217b861f9073dc09d7285f5
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/DoubleWiki
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

Reply via email to