Ticket #4764: unused_variable_in_options.php.diff

wp-admin/options.php

@@ -106 +106 @@
                 }
         }
     
-        $referred = remove_query_arg('updated' , wp_get_referer());
         $goback = add_query_arg('updated', 'true', wp_get_referer());
         $goback = preg_replace('|[^a-z0-9-~+_.?#=&;,/:]|i', '', $goback);
         wp_redirect($goback);