id	summary	reporter	owner	description	type	status	priority	milestone	component	version	severity	resolution	keywords	cc
10429	wrong theme files selected for editing	miken32		"I opened up the theme editor and edited header.php. My changes were saved but weren't getting applied to the site.
Later I checked the file, and it was unchanged. But I had a backup directory (ie /wp-content/themes/mytheme/backup files/) where I had saved the original theme; the header.php in that directory was updated.

I would guess this was broken by the fix for #4131."	defect (bug)	closed	normal		Themes	2.8.1	normal	duplicate