web: Add width, height, and type to RufflePlayer (fix #13176)

web/packages/core/src/ruffle-player.ts

@@ -453,6 +453,66 @@ export class RufflePlayer extends HTMLElement {
         );
     }
 
+    /**
+     * Polyfill of height getter for HTMLEmbedElement and HTMLObjectElement
+     *
+     * @ignore
+     * @internal
+     */
+    get height(): string {
+        return this.getAttribute("height") || "";
+    }
+
+    /**
+     * Polyfill of height setter for HTMLEmbedElement and HTMLObjectElement
+     *
+     * @ignore
+     * @internal
+     */
+    set height(height: string) {
+        this.setAttribute("height", height);
+    }
+
+    /**
+     * Polyfill of width getter for HTMLEmbedElement and HTMLObjectElement
+     *
+     * @ignore
+     * @internal
+     */
+    get width(): string {
+        return this.getAttribute("width") || "";
+    }
+
+    /**
+     * Polyfill of width setter for HTMLEmbedElement and HTMLObjectElement
+     *
+     * @ignore
+     * @internal
+     */
+    set width(widthVal: string) {
+        this.setAttribute("width", widthVal);
+    }
+
+    /**
+     * Polyfill of type getter for HTMLEmbedElement and HTMLObjectElement
+     *
+     * @ignore
+     * @internal
+     */
+    get type(): string {
+        return this.getAttribute("type") || "";
+    }
+
+    /**
+     * Polyfill of type setter for HTMLEmbedElement and HTMLObjectElement
+     *
+     * @ignore
+     * @internal
+     */
+    set type(typeVal: string) {
+        this.setAttribute("type", typeVal);
+    }
+
     /**
      * @ignore
      * @internal