1	<?php
2
3	declare( strict_types = 1 );
4
5	namespace Wikimedia\Dodo;
6
7	class HTMLElement extends Element implements \Wikimedia\IDLeDOM\HTMLElement {
8	// Stub out methods not yet implemented.
9	use \Wikimedia\IDLeDOM\Stub\HTMLElement;
10	use UnimplementedTrait;
11
12	// Helper functions from IDLeDOM
13	use \Wikimedia\IDLeDOM\Helper\HTMLElement;
14	}