Index: wp-includes/classes.php
===================================================================
--- wp-includes/classes.php	(revision 3713)
+++ wp-includes/classes.php	(working copy)
@@ -644,7 +644,7 @@
 		return $output;
 	}
 	
-	function end_el($output, $page, $depth) {
+	function end_el($output, $page, $depth, $args) {
 		if ( 'list' != $args['style'] )
 			return $output;