Follow up I32ecdd8c: Fix PHP syntax error

Change-Id: Id38f758d38f297663dfe26a8f25661c7c46ad75b