diff -r 53cff4b4a802 -r bde1974c263b web/wp-content/plugins/exec-php/includes/user_ui.php
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/web/wp-content/plugins/exec-php/includes/user_ui.php	Wed Feb 03 15:37:20 2010 +0000
@@ -0,0 +1,82 @@
+<?php
+
+require_once(dirname(__FILE__).'/cache.php');
+require_once(dirname(__FILE__).'/const.php');
+require_once(dirname(__FILE__).'/l10n.php');
+
+// -----------------------------------------------------------------------------
+// the ExecPhp_UserUi class shows user specific settings in the user profile
+// -----------------------------------------------------------------------------
+
+// use this guard to avoid error messages in WP admin panel if plugin
+// is disabled because of a version conflict but you still try to reload
+// the plugins config interface
+if (!class_exists('ExecPhp_UserUi')) :
+class ExecPhp_UserUi
+{
+	var $m_cache = NULL;
+
+	// ---------------------------------------------------------------------------
+	// init
+	// ---------------------------------------------------------------------------
+
+	function ExecPhp_UserUi(&$cache)
+	{
+		$this->m_cache =& $cache;
+
+		add_action('show_user_profile', array(&$this, 'action_user_profile'));
+		add_action('edit_user_profile', array(&$this, 'action_user_profile'));
+		add_action('profile_update', array(&$this, 'action_profile_update'));
+	}
+
+	// ---------------------------------------------------------------------------
+	// hooks
+	// ---------------------------------------------------------------------------
+
+	function action_user_profile()
+	{
+		global $profileuser;
+		global $wp_version;
+
+		if ($profileuser->has_cap(ExecPhp_CAPABILITY_EXECUTE_ARTICLES))
+		{
+			$usermeta =& $this->m_cache->get_usermeta($profileuser->ID);
+?>
+<?php if (version_compare($wp_version, '2.5.dev') >= 0) : ?>
+	<h3><?php _es('Exec-PHP Settings', ExecPhp_PLUGIN_ID); ?></h3>
+<?php else : ?>
+	<fieldset><legend><?php _es('Exec-PHP Settings', ExecPhp_PLUGIN_ID); ?></legend>
+<?php endif; ?>
+	<table class="form-table">
+		<tr valign="top">
+			<th scope="row"><?php _es('Disable WYSIWYG Conversion Warning', ExecPhp_PLUGIN_ID); ?></th>
+			<td>
+				<label for="<?php echo ExecPhp_POST_WYSIWYG_WARNING; ?>">
+					<input style="width: auto;" type="checkbox" name="<?php echo ExecPhp_POST_WYSIWYG_WARNING; ?>" id="<?php echo ExecPhp_POST_WYSIWYG_WARNING; ?>" value="true" <?php if ($usermeta->hide_wysiwyg_warning()) : ?>checked="checked" <?php endif; ?>/>
+					<?php _es('Select this option to turn off the WYSIWYG Conversion Warning in the Write menu. Nevertheless the recommended way is to switch off the WYSIWYG editor so you can be sure not to break existing PHP code by accident.', ExecPhp_PLUGIN_ID); ?>
+
+				</label>
+			</td>
+		</tr>
+	</table>
+<?php if (version_compare($wp_version, '2.5.dev') < 0) : ?>
+	</fieldset>
+<?php endif; ?>
+<?php
+		}
+	}
+
+	function action_profile_update($user_id)
+	{
+		$user = new WP_User($user_id);
+		if ($user->has_cap(ExecPhp_CAPABILITY_EXECUTE_ARTICLES))
+		{
+			$usermeta =& $this->m_cache->get_usermeta($user_id);
+			$usermeta->set_from_POST();
+			$usermeta->save();
+		}
+	}
+}
+endif;
+
+?>
\ No newline at end of file