Pastakhov has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/172503

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(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/PhpTags 
refs/changes/03/172503/1

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: newchange
Gerrit-Change-Id: Ib5be1443558d057aff4b6164bbeab0be6bf65715
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/PhpTags
Gerrit-Branch: master
Gerrit-Owner: Pastakhov <[email protected]>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to