id,summary,reporter,owner,description,type,status,priority,milestone,component,version,severity,resolution,keywords,cc
11385,a couple of uninstantiated options,Denis-de-Bernardy,,"A couple of options, which are used by get_user_option(), do not seem to be instantiated anywhere.

In particular:

{{{
			case 'edit_per_page':
			case 'edit_pages_per_page':
			case 'edit_comments_per_page':
			case 'upload_per_page':
			case 'categories_per_page':
			case 'edit_tags_per_page':
			case 'plugins_per_page':
}}}
",defect (bug),closed,normal,2.9,Optimization,2.9,normal,fixed,has-patch commit dev-feedback,