Update to MediaWiki 1.19.0

1 files changed, 3 insertions, 3 deletions

diff --git a/resources/jquery/jquery.checkboxShiftClick.js b/resources/jquery/jquery.checkboxShiftClick.js
index cfa696d4..0a1d7d7d 100644
--- a/resources/jquery/jquery.checkboxShiftClick.js
+++ b/resources/jquery/jquery.checkboxShiftClick.js
@@ -16,9 +16,9 @@ $.fn.checkboxShiftClick = function( text ) {
 		if ( prevCheckbox !== null && e.shiftKey ) {
 			// Check or uncheck this one and all in-between checkboxes
 			$box.slice(
-			  Math.min( $box.index( prevCheckbox ), $box.index( e.target ) ),
-			  Math.max( $box.index( prevCheckbox ), $box.index( e.target ) ) + 1
-			).attr( {checked: e.target.checked ? 'checked' : ''} );
+				Math.min( $box.index( prevCheckbox ), $box.index( e.target ) ),
+				Math.max( $box.index( prevCheckbox ), $box.index( e.target ) ) + 1
+			).prop( 'checked', e.target.checked ? true : false );
 		}
 		// Either way, update the prevCheckbox variable to the one clicked now
 		prevCheckbox = e.target;