id,summary,reporter,owner,description,type,status,priority,milestone,component,version,severity,resolution,keywords,cc
23157,Custom header in twenty twelve theme not pluggable/filterable,adamrice,,"Child themes cannot cleanly alter the header styling output from the twenty twelve theme in inc/custom-header.php

I propose a change from


{{{
function twentytwelve_header_style()
}}}

to


{{{
if ( ! function_exists( 'function twentytwelve_header_style' ) ) :
function twentytwelve_header_style()
...
}}}
",defect (bug),closed,normal,,Bundled Theme,3.5,minor,invalid,,info@…