diff options
| author | wiki@winston <wiki@winston> | 2018-05-29 06:34:23 +0000 |
|---|---|---|
| committer | wiki@winston <wiki@winston> | 2018-05-29 06:34:23 +0000 |
| commit | bf6e3a7b44a3303d8019350fca122b3c4d16cd1d (patch) | |
| tree | ac0689a0769af364171bcfe4ac59bf25be7c9a26 /extensions/Variables/gitinfo.json | |
| parent | 12891e4c72638d73cce0e14642544e19c6dacd7a (diff) | |
add 'Variables' extension
Diffstat (limited to 'extensions/Variables/gitinfo.json')
| -rw-r--r-- | extensions/Variables/gitinfo.json | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/extensions/Variables/gitinfo.json b/extensions/Variables/gitinfo.json new file mode 100644 index 00000000..c972f07f --- /dev/null +++ b/extensions/Variables/gitinfo.json @@ -0,0 +1 @@ +{"headSHA1": "c75b9d4669d15397ada8480d64cfe17dea798495\n", "head": "c75b9d4669d15397ada8480d64cfe17dea798495\n", "remoteURL": "https://gerrit.wikimedia.org/r/mediawiki/extensions/Variables", "branch": "c75b9d4669d15397ada8480d64cfe17dea798495\n", "headCommitDate": "1501149227"}
\ No newline at end of file |