ja, die Einstellung mask is Flash-only und wird in HTML5 nicht unterstützt. HTML5 bietet dazu einfach keine entsprechende Funktionalität. Generell würde ich empfehlen eher maskchildren zu verwenden, das funktioniert in Flash und HTML5 und mit besserer Performance.