[13:53:33] [SemanticMediaWiki] paladox opened pull request #996: jquery.hoverIntent is being removed from core of mediawiki (master...patch-1) http://git.io/vf6Cg [13:59:39] [SemanticMediaWiki] paladox opened pull request #997: Update jquery.jstorage.js (master...patch-2) http://git.io/vf6ld [14:09:28] [SemanticMediaWiki] jongfeli opened pull request #998: Fix coding style issues #899 (master...Code-violations) http://git.io/vf6B1 [14:21:11] [SemanticMediaWiki] paladox opened pull request #999: Update .travis.yml (master...patch-3) http://git.io/vf6Ee [14:28:10] [SemanticMediaWiki] mwjames closed pull request #999: Update .travis.yml (master...patch-3) http://git.io/vf6Ee [19:59:14] [SemanticResultFormats] bogota opened pull request #102: minor fix of tooltip for month view (master...patch-20150423) http://git.io/vfPfS [23:55:41] [SemanticMediaWiki] JeroenDeDauw pushed 2 new commits to master: http://git.io/vfPSA [23:55:41] SemanticMediaWiki/master 716236e paladox: Update jquery.jstorage.js [23:55:41] SemanticMediaWiki/master 95b4aef Jeroen De Dauw: Merge pull request #997 from paladox/patch-2... [23:56:33] [SemanticMediaWiki] JeroenDeDauw pushed 3 new commits to master: http://git.io/vfP9U [23:56:33] SemanticMediaWiki/master 223d6e3 Translation updater bot: Localisation updates from https://translatewiki.net.... [23:56:33] SemanticMediaWiki/master b98e0bd Translation updater bot: Localisation updates from https://translatewiki.net.... [23:56:33] SemanticMediaWiki/master 8c65a39 jeroendedauw: Merge branch 'master' of ssh://wmfgerrit/mediawiki/extensions/SemanticMediaWiki [23:58:05] [SemanticMediaWiki] JeroenDeDauw pushed 2 new commits to master: http://git.io/vfP9w [23:58:05] SemanticMediaWiki/master 05d6051 jongfeli: Fix coding style issues #899 [23:58:05] SemanticMediaWiki/master ff695d0 Jeroen De Dauw: Merge pull request #998 from jongfeli/Code-violations...