[00:17:03] (CR) Florianschmidtwelzow: [C: 2] build: Updating mediawiki/mediawiki-codesniffer to 15.0.0 [extensions/PageForms] - https://gerrit.wikimedia.org/r/401104 (owner: Umherirrender) [00:26:25] (Merged) jenkins-bot: build: Updating mediawiki/mediawiki-codesniffer to 15.0.0 [extensions/PageForms] - https://gerrit.wikimedia.org/r/401104 (owner: Umherirrender) [14:38:18] [SemanticExtraSpecialProperties] translatewiki pushed 1 new commit to master: https://git.io/vbxKK [14:38:18] SemanticExtraSpecialProperties/master 6a0f8bd translatewiki.net: Localisation updates from https://translatewiki.net.