Update to MediaWiki 1.19.0

1 files changed, 4 insertions, 4 deletions

diff --git a/resources/mediawiki.special/mediawiki.special.recentchanges.js b/resources/mediawiki.special/mediawiki.special.recentchanges.js
index 7e284fbd..3d520f5e 100644
--- a/resources/mediawiki.special/mediawiki.special.recentchanges.js
+++ b/resources/mediawiki.special/mediawiki.special.recentchanges.js
@@ -9,24 +9,24 @@
 	var $select = null;
 
 	var rc = mw.special.recentchanges = {
-	
+
 		/**
 		 * Handler to disable/enable the namespace selector checkboxes when the
 		 * special 'all' namespace is selected/unselected respectively.
 		 */
-	 	updateCheckboxes: function() {
+		updateCheckboxes: function() {
 			// The option element for the 'all' namespace has an empty value
 			var isAllNS = ('' === $select.find('option:selected').val() );
 
 			// Iterates over checkboxes and propagate the selected option
 			$.each( checkboxes, function( i, id ) {
-				$( '#' + id ).attr( 'disabled', isAllNS );
+				$( '#' + id ).prop( 'disabled', isAllNS );
 			});
 		},
 
 		init: function() {
 			// Populate
-	 		$select = $( '#namespace' );
+			$select = $( '#namespace' );
 
 			// Bind to change event, and trigger once to set the initial state of the checkboxes.
 			$select.change( rc.updateCheckboxes ).change();