GitHub PushEvent at 2014-10-24 07:44:16
Repository: mediawiki-extensions-PhpTags
Actor: wmfgerrit
Payload: {"shas":[["0ac0f270c36eb163aa0e9a5e731f4972d1c1ce1d","23eddc875bcb995fc3c930bc92022aa83797eff6@yandex.ru","add higlinting with extension CodeMirror (v 3.5.1)\n\nChange-Id: Idfb9813cc214c42939277f63015c7d1bad5e6eca","Pavel Astakhov",true],["2fd588437e7a0e17f1e8bdf7e3b31985c1578d80","61a1c7c885f4fc173424af2875d459c32bdc4fee@gerrit.wikimedia.org","Merge \"add higlinting with extension CodeMirror (v 3.5.1)\"","jenkins-bot",true]],"size":2,"ref":"refs/heads/master","head":"2fd588437e7a0e17f1e8bdf7e3b31985c1578d80"}