p/phpbb3 — pull request #28 by erikfrerejean (2012-06-13 10:18:36+00:00)
Title: Core.page header modify

Rename core.page_header_override to core.page_header_modify

PHPBB3-9550