diff -r fb7cd02b9848 -r 561aa6d282f6 web/wp-content/plugins/exec-php/includes/usermeta.php --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/web/wp-content/plugins/exec-php/includes/usermeta.php Mon Feb 01 09:51:57 2010 +0000 @@ -0,0 +1,62 @@ +m_user_id = $user_id; + $this->load(); + } + + function save() + { + update_usermeta($this->m_user_id, ExecPhp_META_WYSIWYG_WARNING, + $this->m_hide_wysiwyg_warning); + } + + function load() + { + if ($this->m_user_id > 0) + { + $this->m_hide_wysiwyg_warning = + get_usermeta($this->m_user_id, ExecPhp_META_WYSIWYG_WARNING); + } + } + + // --------------------------------------------------------------------------- + // access + // --------------------------------------------------------------------------- + + function set_from_POST() + { + $this->m_hide_wysiwyg_warning + = isset($_POST[ExecPhp_POST_WYSIWYG_WARNING]); + } + + function hide_wysiwyg_warning() + { + return $this->m_hide_wysiwyg_warning; + } +} +endif; + +?> \ No newline at end of file