Fixing PHP warnings #7225