Merge branch 'master' into dev

1 files changed, 1 insertions, 0 deletions

diff --git a/boot.php b/boot.php
index a357d7ecb..386a419dc 100755
--- a/boot.php
+++ b/boot.php
@@ -711,6 +711,7 @@ class App {
 	public static  $module;
 	public static  $pager;
 	public static  $strings;
+	public static  $stringsave;   // used in push_lang() and pop_lang()
 	public static  $hooks;
 	public static  $timezone;
 	public static  $interactive = true;