Make vector append write_props
commit459d2fa328ab0086b7bd79a2cd1c73a22ed6c8a7
authorOguz Ulgen <oulgen@fb.com>
Mon, 19 Apr 2021 23:45:34 +0000 (19 16:45 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Mon, 19 Apr 2021 23:46:57 +0000 (19 16:46 -0700)
tree173afb5cbaa92ec2d199ee44374c8629fa3ae680
parent530565fd6da818d220fc0cea41fe29a1f8d61ea1
Make vector append write_props

Summary: Looks like this one got forgotten

Reviewed By: rodmk

Differential Revision: D27870290

fbshipit-source-id: 5bfb95dfa759f5657527a167b8c9eee6404fe606
hphp/runtime/ext/collections/ext_collections-vector.php