https://gerrit.wikimedia.org/r/303353 moved the style from shared.css to a separate style module. This module is not loaded on watchlist: the style for unpatrolled symbol ! is missing.
Description
Details
Related Objects
Event Timeline
Change 304335 had a related patch set uploaded (by Gerrit Patch Uploader):
Always load style module 'mediawiki.page.patrol' on ChangesList
When I look at 'mediawiki.page.patrol' more closely now than when I merged that change, it really seems to have three entirely unrelated things in it (styling for the red "!", styling for Special:NewPages, styling for the "[Mark as patrolled]" link). These usually are not used together on a single page. I think we should just revert that change.
Change 304411 had a related patch set uploaded (by Bartosz Dziewoński):
Revert "Move CSS for patrol from mediawiki.legacy to new module mediawiki.page.patrol"
Change 304412 had a related patch set uploaded (by Bartosz Dziewoński):
Revert "Move CSS for patrol from mediawiki.legacy to new module mediawiki.page.patrol"
Change 304335 abandoned by Bartosz Dziewoński:
Always load style module 'mediawiki.page.patrol' on ChangesList
Reason:
I'm just reverting the change. Thanks for noticing this.
Change 304411 merged by jenkins-bot:
Revert "Move CSS for patrol from mediawiki.legacy to new module mediawiki.page.patrol"
Change 304412 merged by jenkins-bot:
Revert "Move CSS for patrol from mediawiki.legacy to new module mediawiki.page.patrol"
Mentioned in SAL [2016-08-12T00:15:45Z] <dereckson@tin> Synchronized php-1.28.0-wmf.14/: VE: Fix TextState#getChangeTransaction bug (T141573) ; Echo: Revert "Hack around browser bug in IE breaking badge alignment in Monobook" ([[gerrit:304415]]) ; Core: Revert CSS fix ([[gerrit:304412]], T142750) (duration: 08m 58s)