update to MediaWiki 1.17.0

1 files changed, 2 insertions, 2 deletions

diff --git a/skins/common/enhancedchanges.js b/skins/common/enhancedchanges.js
index b1789c9e..bcc2cc88 100644
--- a/skins/common/enhancedchanges.js
+++ b/skins/common/enhancedchanges.js
@@ -24,7 +24,7 @@ appendCSS('.mw-changeslist-hidden {'+
  * Switch an RC line between hidden/shown
  * @param int idNumber : the id number of the RC group
 */ 
-function toggleVisibility(idNumber) {
+window.toggleVisibility = function(idNumber) {
 	var openarrow = document.getElementById("mw-rc-openarrow-"+idNumber);
 	var closearrow = document.getElementById("mw-rc-closearrow-"+idNumber);
 	var subentries = document.getElementById("mw-rc-subentries-"+idNumber);
@@ -37,4 +37,4 @@ function toggleVisibility(idNumber) {
 		closearrow.className = 'mw-changeslist-hidden';
 		subentries.className = 'mw-changeslist-hidden';
 	}
-}
+};