phpbb/phpbb3 — pull request #1137 by EXreaction (2012-12-13 19:10:41+00:00)
Title: [ticket/11263] Fix PHP Notice: Undefined variable: extension_manager

$extension_manager should be $phpbb_extension_manager

http://tracker.phpbb.com/browse/PHPBB3-11263