jenkins-bot has submitted this change and it was merged.
Change subject: fix reset of PhpTags::$globalVariablesScript (v 3.10.2)
......................................................................
fix reset of PhpTags::$globalVariablesScript (v 3.10.2)
Change-Id: Ib5be1443558d057aff4b6164bbeab0be6bf65715
---
M PhpTags.body.php
M PhpTags.php
2 files changed, 2 insertions(+), 7 deletions(-)
Approvals:
Pastakhov: Looks good to me, approved
jenkins-bot: Verified
diff --git a/PhpTags.body.php b/PhpTags.body.php
index 3137436..c77b1e5 100644
--- a/PhpTags.body.php
+++ b/PhpTags.body.php
@@ -218,6 +218,7 @@
PhpTags\Runtime::reset();
self::$bytecodeCache = array();
self::$bytecodeLoaded = array();
+ self::$globalVariablesScript = array();
}
/**
@@ -257,12 +258,6 @@
public static function getCodeMirrorMode( &$mode, &$module ) {
$mode['tag']['phptag'] = 'text/x-php';
- }
-
- public static function onMakeGlobalVariablesScript( array &$vars ) {
- foreach ( self::$globalVariablesScript as $key=> $value ) {
- $vars["ext.phptags.$key"] = $value;
- }
}
public static function onPhpTagsRuntimeFirstInit() {
diff --git a/PhpTags.php b/PhpTags.php
index 8b595f5..26e6706 100644
--- a/PhpTags.php
+++ b/PhpTags.php
@@ -17,7 +17,7 @@
const PHPTAGS_MAJOR_VERSION = 3;
const PHPTAGS_MINOR_VERSION = 10;
-const PHPTAGS_RELEASE_VERSION = 1;
+const PHPTAGS_RELEASE_VERSION = 2;
define( 'PHPTAGS_VERSION', PHPTAGS_MAJOR_VERSION . '.' . PHPTAGS_MINOR_VERSION
. '.' . PHPTAGS_RELEASE_VERSION );
const PHPTAGS_HOOK_RELEASE = 5;
--
To view, visit https://gerrit.wikimedia.org/r/172503
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ib5be1443558d057aff4b6164bbeab0be6bf65715
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
