WLFilters: Don't hide .watchlistDetails while loading
authorRoan Kattouw <roan.kattouw@gmail.com>
Wed, 20 Sep 2017 22:37:19 +0000 (15:37 -0700)
committerRoan Kattouw <roan.kattouw@gmail.com>
Wed, 20 Sep 2017 22:37:19 +0000 (15:37 -0700)
commitd36805669ed93d203ddec9287b07d046f1f93905
tree8b96fc692c162a87797355f8472980f169124140
parent510d5dd7cb41e54c2b47581a5185beb074997628
WLFilters: Don't hide .watchlistDetails while loading

It doesn't actually get replaced, just relocated slightly.
Also, watchlist-details is abused for community tools on some wikis,
including enwiki. (watchlist-summary is the right place for that though.)

Bug: T176300
Change-Id: Ic9605b9910c1953ef2536de4ab1b57ec125f0539
resources/src/mediawiki.rcfilters/styles/mw.rcfilters.less