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,,