mediawiki.special.preferences.js: Simplify creating elements

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

Change-Id: Ied43829eb19a4270030af4d3f41882f6c0df7935

diff --git a/resources/src/mediawiki.special/mediawiki.special.preferences.js b/resources/src/mediawiki.special/mediawiki.special.preferences.js
index 2e660ce..e73ad73 100644 (file)
--- 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 );