GitHub PushEvent at 2014-07-09 10:30:04
Repository: mediawiki-extensions
Actor: wmfgerrit
Payload: {"shas":[["7a451025ebcd8ce35190ae0a987e866d9f08d9f3","f2a16c7d37923d357c1a0ea372900e4a57158c3c@gmail.com","Updated mediawiki/extensions\nProject: mediawiki/extensions/GlobalUserPage  7899da33c5756ad38aa894e7c20dbb9a59e8561f\n\nGlobalUserpage --> GlobalUserPage\n\nAlso changed the global variable names to use a capital P,\nwhich unfortunately breaks backwards-compatability, but is\nconsistent with the rest of the extension now.\n\nChange-Id: I659bc73d3125a3930bfe9b6ed55d434f2f7f6847","Kunal Mehta",true]],"size":1,"ref":"refs/heads/master","head":"7a451025ebcd8ce35190ae0a987e866d9f08d9f3"}