editing php syntax