Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-10-01 00:59:15 +01:00
Code Issues Projects Releases Packages Wiki Activity

script: Move WebGL DOM interfaces to script/dom/webgl/ (#38995)

Browse source 
Move interfaces defined by the WebGL spec to the `script/dom/webgl/
`module from `script/dom/`.

`script/dom/webgl*.rs` -> `script/dom/webgl/`
`script/dom/webgl_extensions` -> `script/dom/webgl/extensions`
`script/dom/webgl_validations` -> `script/dom/webgl/validations`

Testing: No changes, just a refactoring

Fixes (partially): #38901

Signed-off-by: Andrei Volykhin <volykhin.andrei@huawei.com>
Co-authored-by: Andrei Volykhin <volykhin.andrei@huawei.com>
This commit is contained in:
Andrei Volykhin 2025-08-28 20:50:05 +03:00 • committed by GitHub
parent 6205c07114
commit ef544a4db4
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
54 changed files with 162 additions and 148 deletions
Download patch file Download diff file Expand all files Collapse all files

13
components/script/dom/webgl/extensions/mod.rs Normal file
View file

@ -0,0 +1,13 @@
/* This Source Code Form is subject to the terms of the Mozilla Public
* License, v. 2.0. If a copy of the MPL was not distributed with this
* file, You can obtain one at https://mozilla.org/MPL/2.0/. */
pub(crate) mod ext;
mod extension;
#[allow(clippy::module_inception)]
mod extensions;
mod wrapper;
pub(crate) use self::ext::*;
pub(crate) use self::extension::{WebGLExtension, WebGLExtensionSpec};
pub(crate) use self::extensions::WebGLExtensions;