{"push_id":711780125,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"b8cb54c9f08c818aedcac77c3f3cf913e134263f","before":"fcc893356ccc8f6005ac52cacec35b77750528d2","commits":[{"sha":"5833938101e7bae4348379edd862c4c7e10a7569","author":{"email":"617759bd0c312605df600db34de824ef6c3afe60@gmail.com","name":"Timo Tijhof"},"message":"resources: Remove use of group 'other'\n\nThis doesn't do anything other than move them from the default module\nqueue into a separate http request.\n\nIf that is intentional, it should use a more descriptive group name\n(e.g. ext.mf.something).\n\nThe group \"other\" isn't special and isn't used anywhere except for\nMobileFrontend. The default group is no group, e.g. null.\n\nThis was probably copied from a utility methods in OutputPage.php\nthat sorts modules in an array with key \"other\". However that's\nonly an internal helper and not part of ResourceLoader.\n\nSee also\nhttps://www.mediawiki.org/wiki/ResourceLoader/Features#Groups\n\nChange-Id: I8763ee222087d631d7d0d49adb0ec73ea7343894","distinct":true,"url":"https://api.github.com/repos/wikimedia/mediawiki-extensions-MobileFrontend/commits/5833938101e7bae4348379edd862c4c7e10a7569"},{"sha":"b8cb54c9f08c818aedcac77c3f3cf913e134263f","author":{"email":"61a1c7c885f4fc173424af2875d459c32bdc4fee@gerrit.wikimedia.org","name":"jenkins-bot"},"message":"Merge \"resources: Remove use of group 'other'\"","distinct":true,"url":"https://api.github.com/repos/wikimedia/mediawiki-extensions-MobileFrontend/commits/b8cb54c9f08c818aedcac77c3f3cf913e134263f"}]}