diff options
Diffstat (limited to 'www/wiki/extensions/MixedNamespaceSearchSuggestions/gitinfo.json')
| -rw-r--r-- | www/wiki/extensions/MixedNamespaceSearchSuggestions/gitinfo.json | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/www/wiki/extensions/MixedNamespaceSearchSuggestions/gitinfo.json b/www/wiki/extensions/MixedNamespaceSearchSuggestions/gitinfo.json new file mode 100644 index 00000000..944291da --- /dev/null +++ b/www/wiki/extensions/MixedNamespaceSearchSuggestions/gitinfo.json @@ -0,0 +1 @@ +{"headSHA1": "75e97324981bf652fa2b8df6867293d124f3050e\n", "head": "75e97324981bf652fa2b8df6867293d124f3050e\n", "remoteURL": "https://gerrit.wikimedia.org/r/mediawiki/extensions/MixedNamespaceSearchSuggestions", "branch": "75e97324981bf652fa2b8df6867293d124f3050e\n", "headCommitDate": "1523677544"}
\ No newline at end of file |