Followup to r60697: add a comment to js2stopgap.js pointing out that we patched jQuer...

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index 3e24457..b4659a8 100644 (file)
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -1655,7 +1655,7 @@ $wgCacheEpoch = '20030516000000';
  * to ensure that client-side caches do not keep obsolete copies of global
  * styles.
  */
-$wgStyleVersion = '258';
+$wgStyleVersion = '259';
 
 
 # Server-side caching:

diff --git a/js2/js2stopgap.js b/js2/js2stopgap.js
index 1c9fece..9332b3f 100644 (file)
--- a/js2/js2stopgap.js
+++ b/js2/js2stopgap.js
@@ -1057,7 +1057,7 @@ jQuery.extend({
                        return letter.toUpperCase();
                });
 
-               if ( set && value != 'NaNpx' )
+               if ( set && value != 'NaNpx' ) // Patched by Trevor, see http://is.gd/5NXiD
                        elem[ name ] = value;
 
                return elem[ name ];