Merge "Move CSS for patrol from mediawiki.legacy to new module mediawiki.page.patrol"