jenkins-bot has submitted this change and it was merged.
Change subject: fix for Renderer::onParserAfterTidy() (v 5.1.1)
......................................................................
fix for Renderer::onParserAfterTidy() (v 5.1.1)
Change-Id: I71dea7ba3cd52353484357c318cdc91049ffa41e
---
M PhpTags.php
M includes/Renderer.php
2 files changed, 2 insertions(+), 2 deletions(-)
Approvals:
Pastakhov: Looks good to me, approved
jenkins-bot: Verified
diff --git a/PhpTags.php b/PhpTags.php
index 928322a..802ef9d 100644
--- a/PhpTags.php
+++ b/PhpTags.php
@@ -17,7 +17,7 @@
const PHPTAGS_MAJOR_VERSION = 5;
const PHPTAGS_MINOR_VERSION = 1;
-const PHPTAGS_RELEASE_VERSION = 0;
+const PHPTAGS_RELEASE_VERSION = 1;
define( 'PHPTAGS_VERSION', PHPTAGS_MAJOR_VERSION . '.' . PHPTAGS_MINOR_VERSION
. '.' . PHPTAGS_RELEASE_VERSION );
const PHPTAGS_HOOK_RELEASE = 8;
diff --git a/includes/Renderer.php b/includes/Renderer.php
index 48bc336..c088496 100644
--- a/includes/Renderer.php
+++ b/includes/Renderer.php
@@ -291,7 +291,7 @@
foreach ( self::$globalVariablesScript as $key=> $value
) {
$vars["ext.phptags.$key"] = $value;
}
- $text .= Html::inlineScript(
+ $text .= \Html::inlineScript(
ResourceLoader::makeLoaderConditionalScript(
ResourceLoader::makeConfigSetScript(
$vars )
)
--
To view, visit https://gerrit.wikimedia.org/r/214301
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I71dea7ba3cd52353484357c318cdc91049ffa41e
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/PhpTags
Gerrit-Branch: master
Gerrit-Owner: Pastakhov <[email protected]>
Gerrit-Reviewer: Pastakhov <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
