From: jenkins-bot Date: Tue, 29 Sep 2015 01:22:33 +0000 (+0000) Subject: Merge "mediawiki.widgets: Cleanup TitleWidget styles and improve API" X-Git-Tag: 1.31.0-rc.0~9690 X-Git-Url: https://git.cyclocoop.org/%242?a=commitdiff_plain;h=235219d34b1382d8b0130f1e9ff88108f466cc8b;p=lhc%2Fweb%2Fwiklou.git Merge "mediawiki.widgets: Cleanup TitleWidget styles and improve API" --- 235219d34b1382d8b0130f1e9ff88108f466cc8b