HomePhabricator

Fix a reported PHP 7.1 incompatibility

Authored by Nikerabbit on Oct 6 2017, 7:08 AM.

Description

Fix a reported PHP 7.1 incompatibility

Bug: T177263
Change-Id: Ibf1870bfe20a01e95e0387e0b75c4a2db8fa72cc
(cherry picked from commit 5cd35b2fed14373152c544f365d608ed4c1c9a23)

Details