Selectmenu: Upgrade jQuery to 1.7.2.

Author: fnagel

demos/selectmenu/custom_render.html

@@ -4,7 +4,7 @@
 	<meta charset="utf-8">
 	<title>jQuery UI Selectmenu - Default functionality</title>
 	<link rel="stylesheet" href="../../themes/base/jquery.ui.all.css">
-	<script src="../../jquery-1.7.1.js"></script>
+	<script src="../../jquery-1.7.2.js"></script>
 	<script src="../../ui/jquery.ui.core.js"></script>
 	<script src="../../ui/jquery.ui.widget.js"></script>
 	<script src="../../ui/jquery.ui.position.js"></script>

demos/selectmenu/default.html

@@ -4,7 +4,7 @@
 	<meta charset="utf-8">
 	<title>jQuery UI Selectmenu - Default functionality</title>
 	<link rel="stylesheet" href="../../themes/base/jquery.ui.all.css">
-	<script src="../../jquery-1.7.1.js"></script>
+	<script src="../../jquery-1.7.2.js"></script>
 	<script src="../../ui/jquery.ui.core.js"></script>
 	<script src="../../ui/jquery.ui.widget.js"></script>
 	<script src="../../ui/jquery.ui.position.js"></script>