Add import for namespaced Html class

Raise MW requirement accordingly.

Author: SomeMWDev

extension.json

@@ -9,7 +9,7 @@
 	"license-name": "GPLv3",
 	"type": "parserhook",
 	"requires": {
-		"MediaWiki": ">=1.35.0"
+		"MediaWiki": ">=1.40.0"
 	},
 	"AutoloadClasses": {
 		"EmbedSnap": "includes/EmbedSnap.php"

includes/EmbedSnap.php

@@ -18,13 +18,14 @@
 */
 
 use MediaWiki\Hook\ParserFirstCallInitHook;
+use MediaWiki\Html\Html;
 
 if ( !defined( 'MEDIAWIKI' ) ) {
 	die( 'Snap! Project Embed requires MediaWiki 1.35 or later to run.' );
 }
 
 class EmbedSnap implements ParserFirstCallInitHook {
-	/** Register <snap> and <snap-project> tags */ 
+	/** Register <snap> and <snap-project> tags */
 	public function onParserFirstCallInit( $parser ) {
 		$parser->setHook( 'snap', [ __CLASS__,'renderEmbedSnap' ] );
 		$parser->setHook( 'snap-project', [ __CLASS__,'renderEmbedSnap' ] );
@@ -41,9 +42,9 @@ public static function renderEmbedSnap( $input, $argv, $parser ) {
 		$pause = '';
 		$hide = '';
 		$elementtorender = '';
-		
+
 		// Arguments passed to the parser
-		if ( !empty( $argv['project'] ) ) { 
+		if ( !empty( $argv['project'] ) ) {
 			$project = $argv['project'];
 		} elseif ( !empty( $input ) ) {
 			$project = $input;
@@ -122,7 +123,7 @@ public static function renderEmbedSnap( $input, $argv, $parser ) {
 		}
 		if ( !empty( $project ) ) {
 			if ( !empty( $user ) ) {
-			return ( 
+			return (
 				// If both user and project values are given, it renders the proper iframe.
 				$elementtorender
 			);