{"push_id":824124748,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"f7cbc76f45ee361503b58204de55ecf9f630dafd","before":"247afce921d2ae0d7840b86432c8c2f381d97c3d","commits":[{"sha":"f7cbc76f45ee361503b58204de55ecf9f630dafd","author":{"email":"6743e3bf4b609d65756072646858696964be7c53@mitre.org","name":"Kevin Ji"},"message":"Updated mediawiki/extensions\nProject: mediawiki/extensions/HierarchyBuilder  9d895fb343d0550cfd219085d1228921079e2c5b\n\nReimplemented displaynames using page_props table.\n\nThis is a breaking change. The displaynameproperty argument has been removed globally. Display titles will now be used automatically in place of page names for any pages that have defined their \"displaytitle\".\n\nDisplay names must now be specified using MediaWiki's built in\n\"displaytitle.\"\nIt is no longer possible to use page names in lieu of display names.\nIt is no longer possible to define a page's display name using the\ndisplaynameproperty argument.\n\nChange-Id: I2f685b4b00c204e14c3264557ec29bda73bad666","distinct":true,"url":"https://api.github.com/repos/wikimedia/mediawiki-extensions/commits/f7cbc76f45ee361503b58204de55ecf9f630dafd"}]}