id,summary,reporter,owner,description,type,status,priority,milestone,component,version,severity,resolution,keywords,cc
23156,twenty twelve custom header not pluggable/filterable by child themes,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 honyaku_header_style()
}}}
to 
{{{
if ( ! function_exists( 'function honyaku_header_style' ) ) :
function honyaku_header_style()
...
}}}",defect (bug),closed,normal,,Bundled Theme,3.5,minor,invalid,,