diff options
Diffstat (limited to 'UserFunctions/gitinfo.json')
| -rw-r--r-- | UserFunctions/gitinfo.json | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/UserFunctions/gitinfo.json b/UserFunctions/gitinfo.json index bcc294f0..5231bb9e 100644 --- a/UserFunctions/gitinfo.json +++ b/UserFunctions/gitinfo.json @@ -1 +1 @@ -{"headSHA1": "5eda8c931cf73aed496288f22a3d85192913676e\n", "head": "5eda8c931cf73aed496288f22a3d85192913676e\n", "remoteURL": "https://gerrit.wikimedia.org/r/mediawiki/extensions/UserFunctions", "branch": "5eda8c931cf73aed496288f22a3d85192913676e\n", "headCommitDate": "1501059580"}
\ No newline at end of file +{"headSHA1": "bc716c9f885422efce6d35cd08d4ca34d21a01eb\n", "head": "bc716c9f885422efce6d35cd08d4ca34d21a01eb\n", "remoteURL": "https://gerrit.wikimedia.org/r/mediawiki/extensions/UserFunctions", "branch": "bc716c9f885422efce6d35cd08d4ca34d21a01eb\n", "headCommitDate": "1539259533"}
\ No newline at end of file |