Since it got moved back to PHP, this is no longer necessary