Where is "fullscreenElement" defined?