From 532861959361a84593cb7ae3ccb185e3f356c4ae Mon Sep 17 00:00:00 2001
From: Jakub Vrana <jakub@vrana.cz>
Date: Thu, 11 Jul 2013 16:45:52 -0700
Subject: [PATCH] Format numbers in JS

---
 adminer/static/functions.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/adminer/static/functions.js b/adminer/static/functions.js
index 8c36bee5..2d5f2f7b 100644
--- a/adminer/static/functions.js
+++ b/adminer/static/functions.js
@@ -79,7 +79,7 @@ function trCheck(el) {
 * @param string
 */
 function selectCount(id, count) {
-	setHtml(id, (count === '' ? '' : '(' + count + ')'));
+	setHtml(id, (count === '' ? '' : '(' + (count + '').replace(/\B(?=(\d{3})+$)/g, ' ') + ')'));
 	var inputs = document.getElementById(id).parentNode.parentNode.getElementsByTagName('input');
 	for (var i = 0; i < inputs.length; i++) {
 		var input = inputs[i];