Web IDE for self hosted Github Enterprise

My company is on the latest major version of Github Enterprise Server (3.1.4) and I don’t believe the feature to open a repo in the Github web IDE (github.dev) is available. When can we hope to see this feature available for self hosted Github Enterprise?