Issue #1919614 by salvis: Fix PHP syntax error.