GitHub PushEvent at 2014-07-15 02:10:18
Repository: mediawiki-extensions
Actor: wmfgerrit
Payload: {"shas":[["69da72eb30d243ddb82f1819da1ad8b5e11dbe23","61a1c7c885f4fc173424af2875d459c32bdc4fee@gerrit.wikimedia.org","Updated mediawiki/extensions\nProject: mediawiki/extensions/MobileFrontend  af681bc847c9dec6b09fc618d5e9ec33bf318d2b\n\nImprovements for viewing mobile site on very small screens (<=280px)\n\nHide the pageactions bar for devices with small screens and no\nJavaScript support.\n\nAdd a border around the search field so that it is clear where to\nclick in Opera Mini (which doesn't support placeholders).\n\nAlso improving the formatting of the search field and adjacent\nsearch icon so that they don't look weird with the new border.\n\nChange-Id: I9ce307ad687a376596cebb9088ef49c3738f9823","jenkins-bot",true]],"size":1,"ref":"refs/heads/master","head":"69da72eb30d243ddb82f1819da1ad8b5e11dbe23"}