diff -r 53cff4b4a802 -r bde1974c263b web/wp-content/plugins/exec-php/includes/cache.php --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/web/wp-content/plugins/exec-php/includes/cache.php Wed Feb 03 15:37:20 2010 +0000 @@ -0,0 +1,45 @@ +m_option =& new ExecPhp_Option(); + } + + // --------------------------------------------------------------------------- + // access + // --------------------------------------------------------------------------- + + function &get_option() + { + return $this->m_option; + } + + function &get_usermeta($user_id) + { + if (!isset($this->m_usermetas[$user_id])) + // this will generate warnings with error_reporting(E_STRICT) using PHP5 + // see http://www.php.net/manual/en/language.references.whatdo.php + $this->m_usermetas[$user_id] =& new ExecPhp_UserMeta($user_id); + return $this->m_usermetas[$user_id]; + } +} +endif; + +?> \ No newline at end of file