Correct PHP syntax error. Fixes #8557
(cherry picked from commit 173356547e0005bfe21ba4b2345919dcb89a2fbf)
Correct PHP syntax error. Fixes #8557
(cherry picked from commit 173356547e0005bfe21ba4b2345919dcb89a2fbf)