[10:25:32] (PS1) Alex Monk: (bug 40746) Remove usage of sajax [extensions/SemanticResultFormats] (1.8.x) - https://gerrit.wikimedia.org/r/228793 [14:46:55] (CR) Alex Monk: [C: 2] (bug 40746) Remove usage of sajax [extensions/SemanticResultFormats] (1.8.x) - https://gerrit.wikimedia.org/r/228793 (owner: Alex Monk) [14:47:40] (Merged) jenkins-bot: (bug 40746) Remove usage of sajax [extensions/SemanticResultFormats] (1.8.x) - https://gerrit.wikimedia.org/r/228793 (owner: Alex Monk) [17:49:37] [SemanticMediaWiki] JeroenDeDauw pushed 4 new commits to master: http://git.io/vOBQZ [17:49:37] SemanticMediaWiki/master 1ba15d7 Translation updater bot: Localisation updates from https://translatewiki.net.... [17:49:37] SemanticMediaWiki/master 334c4a4 Translation updater bot: Localisation updates from https://translatewiki.net.... [17:49:37] SemanticMediaWiki/master ab77be2 Translation updater bot: Localisation updates from https://translatewiki.net....