From 544c74d6da3a76b1bce90e9886497a199ae408f7 Mon Sep 17 00:00:00 2001
From: Leo Wallentin <leo_wallentin@hotmail.com>
Date: Thu, 11 Feb 2021 09:09:11 +0100
Subject: [PATCH] Update HTML5Tags.php

fix package name (probably copy/pasted by mistake)
---
 HTML5Tags.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/HTML5Tags.php b/HTML5Tags.php
index bc1f7d9..bbf1109 100644
--- a/HTML5Tags.php
+++ b/HTML5Tags.php
@@ -18,7 +18,7 @@
 }
 
 if ( version_compare( $wgVersion, '1.18', '<' ) ) {
-	die( '<b>Error:</b> This version of Semantic Result Formats requires MediaWiki 1.18 or above.' );
+	die( '<b>Error:</b> This version of HTML5Tags requires MediaWiki 1.18 or above.' );
 }
 
 define( 'HTML5TAGS_VERSION', '0.1' );