{"push_id":560030013,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"1ed32bc3a88f300b58c84b2f888a4a447e5d0a97","before":"89e182489cc832c382d49fbb990b61cd310ce297","commits":[{"sha":"1ed32bc3a88f300b58c84b2f888a4a447e5d0a97","author":{"email":"61a1c7c885f4fc173424af2875d459c32bdc4fee@gerrit.wikimedia.org","name":"jenkins-bot"},"message":"Updated mediawiki/extensions\nProject: mediawiki/extensions/GWToolset  16db70708f13c8adde57a59fe43fd25d24934dfa\n\nMoved the XML doctype out of a system message.\n\nAddresses translatewiki support request:\nhttps://translatewiki.net/wiki/Thread:Support/About_MediaWiki:Gwtoolset-unaccepted-mime-type-for-xml/he\n\nIn order to allow the <code> HTML tags, I switched the GWTException use of\nGWToolset\\Utils->sanitizeString to Sanitizer::removeHTMLtags as suggested\nby Siebrand.\n\nChange-Id: Ib7ef403c6114793874449231eb6b998002e3d029","distinct":true,"url":"https://api.github.com/repos/wikimedia/mediawiki-extensions/commits/1ed32bc3a88f300b58c84b2f888a4a447e5d0a97"}]}