R1:e3fd094a09b0

Minor, fix `empty()` call for older versions of PHP

Summary: While it's fine on 5.5.8, older versions of PHP are not happy about
this.