From f506f8850b41a6e1d8b360a7c31eed5a9d1abef0 Mon Sep 17 00:00:00 2001
From: Fomafix <fomafix@googlemail.com>
Date: Fri, 20 Feb 2015 12:19:16 +0000
Subject: [PATCH] mediawiki.special.preferences.js: Simplify creating elements

See:
https://www.mediawiki.org/wiki/Manual:Coding_conventions/JavaScript#Creating_elements

Change-Id: Ied43829eb19a4270030af4d3f41882f6c0df7935
---
 .../src/mediawiki.special/mediawiki.special.preferences.js | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/resources/src/mediawiki.special/mediawiki.special.preferences.js b/resources/src/mediawiki.special/mediawiki.special.preferences.js
index 2e660ce8ad..e73ad73ac2 100644
--- a/resources/src/mediawiki.special/mediawiki.special.preferences.js
+++ b/resources/src/mediawiki.special/mediawiki.special.preferences.js
@@ -12,8 +12,11 @@ jQuery( function ( $ ) {
 	};
 
 	$( '#prefsubmit' ).attr( 'id', 'prefcontrol' );
-	$preftoc = $( '<ul id="preftoc"></ul>' )
-		.attr( 'role', 'tablist' );
+	$preftoc = $( '<ul>' )
+		.attr( {
+			id: 'preftoc',
+			role: 'tablist'
+		} );
 	$preferences = $( '#preferences' )
 		.addClass( 'jsprefs' )
 		.before( $preftoc );
-- 
2.20.1