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