jenkins-bot has submitted this change and it was merged.
Change subject: Update to match JsonConfig change
......................................................................
Update to match JsonConfig change
Depends-on: Ie2d37efb581080f9c112510fcb47917e09b69dd0
Change-Id: I1a0fb09dc1a39f2525958edb21e5844d05e09618
---
M includes/ZeroConfigView.php
1 file changed, 7 insertions(+), 2 deletions(-)
Approvals:
MaxSem: Looks good to me, approved
jenkins-bot: Verified
diff --git a/includes/ZeroConfigView.php b/includes/ZeroConfigView.php
index 0c870f9..c062908 100644
--- a/includes/ZeroConfigView.php
+++ b/includes/ZeroConfigView.php
@@ -7,6 +7,8 @@
use JsonConfig\JCDefaultObjContentView;
use JsonConfig\JCValue;
use Language;
+use ParserOptions;
+use ParserOutput;
use Title;
use Xml;
use ZeroBanner\PageRendering;
@@ -30,8 +32,11 @@
*
* @return string|null
*/
- public function valueToHtml( JCContent $content ) {
- $html = parent::valueToHtml( $content );
+ public function valueToHtml(
+ JCContent $content, Title $title, $revId, ParserOptions
$options, $generateHtml,
+ ParserOutput &$output
+ ) {
+ $html = parent::valueToHtml( $content, $title, $revId,
$options, $generateHtml, $output );
if ( $content->isValid() ) {
$html .= '<br />' . $this->renderBanners( $content );
}
--
To view, visit https://gerrit.wikimedia.org/r/283002
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I1a0fb09dc1a39f2525958edb21e5844d05e09618
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/extensions/ZeroPortal
Gerrit-Branch: master
Gerrit-Owner: Yurik <[email protected]>
Gerrit-Reviewer: MaxSem <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
