Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  7c8f02ddd3e4e647a06e9bdba8ffd67ca7e6b9f9

Add top border to page list on Nearby page

The nearby page doesn't have a content-header which usually provides
the border at the top of a page list, so we add one to the page list
directly.

Bug: 65613
Change-Id: Ibcad45276dd6286be63b79cfa4eb210e767189e5