User blog comment:DaNASCAT/Technical Update: May 8, 2017/@comment-26437440-20170508223613/@comment-20644-20170509145909

We still use MediaWiki:Wiki-navigation. The functionality of that page wasn't changed. Only the design of the headers. So you shouldn't have to re-do anything.