| commit | 6227a98bb7ffbf00664333a6cd5cc79e6f027755 | |
| author | Waleed Khan <waleedk@fb.com> | |
| Fri, 7 Feb 2020 00:55:32 +0000 (6 16:55 -0800) | ||
| committer | Facebook Github Bot <facebook-github-bot@users.noreply.github.com> | |
| Fri, 7 Feb 2020 01:05:59 +0000 (6 17:05 -0800) | ||
| tree | a02d7a4bf55d8410b2a350076a1720db69c7c41f | treesnapshot (tar.gz zip) |
| parent | 230086e1a15d84a5f27984a0cc2dcb1d62e7aaee | commitdiff |
Delete `Provider_context.get_global_context_or_empty_FOR_MIGRATION`
Summary:
Originally committed in {D19202228} and reverted in {D19750283}.
There are no meaningful changes in this diff since last time.
Reviewed By: fahndrich
Differential Revision: D19759015
fbshipit-source-id: 2dec5c2a9b498b265812c3429cef2e2bcc00d8df
Summary:
Originally committed in {D19202228} and reverted in {D19750283}.
There are no meaningful changes in this diff since last time.
Reviewed By: fahndrich
Differential Revision: D19759015
fbshipit-source-id: 2dec5c2a9b498b265812c3429cef2e2bcc00d8df
| hphp/hack/src/providers/provider_context.ml | diffblobblamehistory | |
| hphp/hack/src/providers/provider_context.mli | diffblobblamehistory |