From 7712ff205159171d3fb2091018ecbc80a45e2023 Mon Sep 17 00:00:00 2001 From: Michael O'Farrell Date: Tue, 6 Dec 2016 09:13:18 -0800 Subject: [PATCH] Add hhi file for WeakRefs. Reviewed By: dlreeves Differential Revision: D4223324 fbshipit-source-id: 216f5ac1fd0f80ff0caed140a5aa7e1e20dca04d --- hphp/hack/hhi/weakref.hhi | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 hphp/hack/hhi/weakref.hhi diff --git a/hphp/hack/hhi/weakref.hhi b/hphp/hack/hhi/weakref.hhi new file mode 100644 index 00000000000..7303e4030ef --- /dev/null +++ b/hphp/hack/hhi/weakref.hhi @@ -0,0 +1,18 @@ + { + public function __construct(T $object); + public function acquire(): bool; + public function get(): ?T; + public function release(): bool; + public function valid(): bool; +} -- 2.11.4.GIT