From c2c5ef803a52e571e93a38712ddd5b7e07d0c18a Mon Sep 17 00:00:00 2001 From: =?utf8?q?Niklas=20Laxstr=C3=B6m?= Date: Sat, 23 Jan 2010 20:15:39 +0000 Subject: [PATCH] Use Html::element instead of Xml::element It produces nicer output and has no braindeadiness with empty contents --- includes/OutputPage.php | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/includes/OutputPage.php b/includes/OutputPage.php index eed71f2f93..26e1d60524 100644 --- a/includes/OutputPage.php +++ b/includes/OutputPage.php @@ -129,12 +129,11 @@ class OutputPage { $path = "{$wgStylePath}/common/{$file}"; } $this->addScript( - Xml::element( 'script', + Html::element( 'script', array( 'type' => $wgJsMimeType, 'src' => "$path?$wgStyleVersion", - ), - '', false + ) ) ); } -- 2.20.1