No node extensions/header_manager/include/header_manager.inc.php at revision 31258
You can search in the repository history to see if that path existed but was later removed
TracGuide — The Trac User and Administration Guide