Wrong JavaScript syntax in Categories widget (wp-includes/widgets.php)

[reppep]

The Categories widget uses invalid JS for the pop-up menu.

[pico]$ diff -u widgets.php.orig widgets.php
--- widgets.php.orig 2008-02-02 21:40:48.000000000 -0800
+++ widgets.php 2008-02-02 21:41:12.000000000 -0800
@@ -630,7 +630,7 @@

wp_dropdown_categories($cat_args . '&show_option_none= ' . ('Select Category'));

?>

-<script lang='javascript'><!--
+<script type='text/javascript'><!--

var dropdown = document.getElementById("cat");
function onCatChange() {

if ( dropdown.options[dropdown.selectedIndex].value > 0 ) {

[reppep]

Gnarf -- patch mis-wrapped:

[pico]$ diff -u widgets.php.orig widgets.php
--- widgets.php.orig	2008-02-02 21:40:48.000000000 -0800
+++ widgets.php	2008-02-02 21:41:12.000000000 -0800
@@ -630,7 +630,7 @@
 		wp_dropdown_categories($cat_args . '&show_option_none= ' . __('Select Category'));
 ?>
 
-<script lang='javascript'><!--
+<script type='text/javascript'><!--
     var dropdown = document.getElementById("cat");
     function onCatChange() {
 		if ( dropdown.options[dropdown.selectedIndex].value > 0 ) {

[DD32]

Has been fixed in another ticket at some point.