Portage du fichier WebGLMaskManager.dart