From: jenkins-bot Date: Thu, 11 Aug 2016 23:05:06 +0000 (+0000) Subject: Merge "Revert "Move CSS for patrol from mediawiki.legacy to new module mediawiki... X-Git-Tag: 1.31.0-rc.0~6084 X-Git-Url: http://git.cyclocoop.org/%24image?a=commitdiff_plain;h=501d34c5995b67111d527828946f2a6ed7709849;p=lhc%2Fweb%2Fwiklou.git Merge "Revert "Move CSS for patrol from mediawiki.legacy to new module mediawiki.page.patrol"" --- 501d34c5995b67111d527828946f2a6ed7709849