From c5a0a022ec2d93dd0ebd02704b2469846e377681 Mon Sep 17 00:00:00 2001
From: Mike Taylor <mike@indexdata.com>
Date: Fri, 7 Feb 2014 17:23:57 +0000
Subject: [PATCH] Page element selection is done by jQuery.

---
 tools/htdocs/mkws.js |    6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/tools/htdocs/mkws.js b/tools/htdocs/mkws.js
index aedef95..f5a1a9e 100644
--- a/tools/htdocs/mkws.js
+++ b/tools/htdocs/mkws.js
@@ -260,8 +260,8 @@ function team($, teamName) {
 	debug("show");
 	m_totalRec = data.merged;
 
-	var pager = document.getElementById("mkwsPager");
-	if (pager) {
+	var pager = $("#mkwsPager");
+	if (pager.length) {
 	    drawPager(pager, data);
 	}
 
@@ -684,7 +684,7 @@ function team($, teamName) {
 
 	s += '<div style="float: clear">'
             + prev + predots + middle + postdots + next + '</div>';
-	pagerDiv.innerHTML = s;
+	pagerDiv.html(s);
     }
 
 
-- 
1.7.10.4