path: root/extensions/Variables/gitinfo.json

{"headSHA1": "c75b9d4669d15397ada8480d64cfe17dea798495\n", "head": "c75b9d4669d15397ada8480d64cfe17dea798495\n", "remoteURL": "https://gerrit.wikimedia.org/r/mediawiki/extensions/Variables", "branch": "c75b9d4669d15397ada8480d64cfe17dea798495\n", "headCommitDate": "1501149227"}