- Patch 5256: code improvements: theme('header') + theme('footer') -> theme('page'). Patch by Gerhard.