Ticket #5901: get_user_option-sanitization.diff

wp-includes/user.php

@@ -82 +82 @@
 function get_user_option( $option, $user = 0 ) {
         global $wpdb;
 
+        $option = preg_replace('|[^a-z0-9_]|i', '', $option);
         if ( empty($user) )
                 $user = wp_get_current_user();
         else