/** * Load plugin properties for the current session * @return void */ protected static function LoadPluginProperties() { if (isset($_SESSION['PluginProperties'])) { self::$m_aPluginProperties = $_SESSION['PluginProperties']; } else { self::$m_aPluginProperties = array(); } }