[ticket/11421] Correctly display submit button when needed

PHPBB3-11421
[ticket/11417] FIx submit button description on notifications options page

PHPBB3-11417
[ticket/11390] Hide pagination when there are no notifications

PHPBB3-11390
[ticket/11390] Correctly separate list of notifications from header

PHPBB3-11390
[ticket/11407] Fix <dfn> description of "notification" option.

PHPBB3-11407
Merge remote-tracking branch 'remotes/nickv/ticket/11407' into develop

# By Joas Schilling
# Via Joas Schilling
* remotes/nickv/ticket/11407:
  [ticket/11407] Fix <dfn> description of "notification" option.
Merge remote-tracking branch 'remotes/nickv/ticket/11390' into develop

# By Joas Schilling
# Via Joas Schilling
* remotes/nickv/ticket/11390:
  [ticket/11390] Correctly separate list of notifications from header
  [ticket/11390] Hide pagination when there are no notifications
Merge remote-tracking branch 'remotes/nickv/ticket/11417' into develop

# By Joas Schilling
# Via Joas Schilling
* remotes/nickv/ticket/11417:
  [ticket/11417] FIx submit button description on notifications options page
Merge remote-tracking branch 'remotes/nickv/ticket/11421' into develop

# By Joas Schilling
# Via Joas Schilling
* remotes/nickv/ticket/11421:
  [ticket/11421] Correctly display submit button when needed