We can drop this.  I suspect PHP storm added this.