From 798df26f95341980b8e19373193bf23b00797973 Mon Sep 17 00:00:00 2001
From: =?utf8?q?=C3=86var=20Arnfj=C3=B6r=C3=B0=20Bjarmason?=
 <avar@users.mediawiki.org>
Date: Sat, 18 Jun 2005 01:07:42 +0000
Subject: [PATCH] * (bug 2374) Allow extension tags to be terminated empty
 elements   i.e. <extension/> instead of <extension></extension>, works for  
 <extension foo=bar.../> too

---
 includes/Parser.php | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/includes/Parser.php b/includes/Parser.php
index 11677117f0..a910afe259 100644
--- a/includes/Parser.php
+++ b/includes/Parser.php
@@ -272,6 +272,9 @@ class Parser
 			$params = array( );
 		}
 
+		// Hack to support short XML style tags
+		$text = preg_replace( "/<$tag(\\s+[^>]*|\\s*)\\/>/i", "<$tag\\1></$tag>", $text );
+		
 		if( $tag == STRIP_COMMENTS ) {
 			$start = '/<!--()/';
 			$end   = '/-->/';
-- 
2.20.1