Issue #2206051 by eleclerc: Maintenance page when db is down.
Issue #2212501 by ptsimard: Mini pager needs to be better themed.