phpbb/phpbb3 — pull request #1281 by nickvergessen (2013-03-07 10:42:01+00:00)
Title: [ticket/11390] Hide pagination when there are no notifications 

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