[MediaWiki-commits] [Gerrit] Check that navigation section exists before using it for top... - change (mediawiki...erudite)

Njw has submitted this change and it was merged. Change subject: Check that navigation section exists before using it for top menu .. Check that navigation section exists before using it for top menu This is needed as it can b

[MediaWiki-commits] [Gerrit] Check that navigation section exists before using it for top... - change (mediawiki...erudite)

Njw has uploaded a new change for review. https://gerrit.wikimedia.org/r/98603 Change subject: Check that navigation section exists before using it for top menu .. Check that navigation section exists before using it for top