Deleted extra file.

Don’t need this as PHP yet either.