<?php

declare( strict_types = 1 );

namespace Wikimedia\Dodo;

class HTMLHeadingElement extends HTMLElement implements \Wikimedia\IDLeDOM\HTMLHeadingElement {
	// Helper functions from IDLeDOM
	use \Wikimedia\IDLeDOM\Helper\HTMLHeadingElement;
}