Minor coding style whitespace cleanup
authorAmir E. Aharoni <amir.aharoni@mail.huji.ac.il>
Thu, 14 Mar 2013 22:23:30 +0000 (00:23 +0200)
committerTimo Tijhof <krinklemail@gmail.com>
Wed, 10 Apr 2013 22:23:13 +0000 (00:23 +0200)
Change-Id: Ic066eda3a1a2db51b2a953a81829ce7f92568125

resources/mediawiki/mediawiki.Uri.js
resources/mediawiki/mediawiki.debug.js
resources/mediawiki/mediawiki.user.js

index 643e5c3..a2d4d6c 100644 (file)
                                        uri = this,
                                        matches = parser[ options.strictMode ? 'strict' : 'loose' ].exec( str );
                                $.each( properties, function ( i, property ) {
-                                       uri[ property ] = matches[ i+1 ];
+                                       uri[ property ] = matches[ i + 1 ];
                                } );
 
                                // uri.query starts out as the query string; we will parse it into key-val pairs then make
                                q = {};
                                // using replace to iterate over a string
                                if ( uri.query ) {
-                                       uri.query.replace( /(?:^|&)([^&=]*)(?:(=)([^&]*))?/g, function ($0, $1, $2, $3) {
+                                       uri.query.replace( /(?:^|&)([^&=]*)(?:(=)([^&]*))?/g, function ( $0, $1, $2, $3 ) {
                                                var k, v;
                                                if ( $1 ) {
                                                        k = Uri.decode( $1 );
index 88af3c6..986917a 100644 (file)
                        $( '<colgroup>' ).css( 'width', 350 ).appendTo( $table );
 
 
-                       entryTypeText = function( entryType ) {
+                       entryTypeText = function ( entryType ) {
                                switch ( entryType ) {
                                        case 'log':
                                                return 'Log';
index 9f3ccf4..e036dc9 100644 (file)
                 * expiration time is reset each time the ID is queried, so in most cases this ID will
                 * persist until the browser's cookies are cleared or the user doesn't visit for 1 year.
                 *
-                * @return String: User name or random session ID
+                * @return {string} User name or random session ID
                 */
-               this.id = function() {
+               this.id = function () {
                        var id,
                                name = user.getName();
                        if ( name ) {