GitHub PushEvent at 2014-12-01 23:43:55
Repository: mediawiki-extensions
Actor: wmfgerrit
Payload: {"shas":[["db7ae27ffbbffc59e48536430b2d4ea26d78ad5c","61a1c7c885f4fc173424af2875d459c32bdc4fee@gerrit.wikimedia.org","Updated mediawiki/extensions\nProject: mediawiki/extensions/MobileFrontend  16faf61b12ac288f852431326a2c25db1e20644e\n\nShow license text in EditorOverlay only, if there is a license\n\nNot all wikis (e.g. thirdparty wikis) have set wgRightsText to license\nthe texts. Show license message in EditorOverlay only, if there is a license\nto avoid confusing text.\n\nChange-Id: I86e6dbfbc3097a086b38b5519f0fbf0c32e9cd41","jenkins-bot",true]],"size":1,"ref":"refs/heads/master","head":"db7ae27ffbbffc59e48536430b2d4ea26d78ad5c"}