"File" class not available in EditorPlugin script?

[everythingandnothingdev]

Godot version

4.0dev (1f69582)

System information

Windows 10, Vulkan, RTX 2080

Issue description

This seems like a basic thing, but can't seem to access File class from an editor plugin.

Steps to reproduce

Create a plugin with this script

@tool
extends EditorPlugin

func _enter_tree():
    var file = File.new()

Minimal reproduction project

No response

[akien-mga]

Duplicate of #50831, this was fixed already.