HomePhabricator

Updated mediawiki/extensions Project: mediawiki/extensions/Flow…

Authored by jenkins-bot.

Description

Updated mediawiki/extensions Project: mediawiki/extensions/Flow c00705238c9f87a1b1f32d41e21ee4ce5f7ef189

Initialize navigation div with a height value

This is meant to make sure the page doesn't "jump" between the loading
of no-js and js versions when the navigation widget loads.

Bug: T105729
Change-Id: Ia84246c5bd954f2b7c1da53f3f4eace68374063d

Event Timeline

Gerrit Code Review <gerrit@wikimedia.org> committed rMEXTe74f3bf96b4b: Updated mediawiki/extensions Project: mediawiki/extensions/Flow… (authored by jenkins-bot <jenkins-bot@gerrit.wikimedia.org>).Jul 16 2015, 3:14 PM