MediaWiki:CharCount.js: Difference between revisions

Remove stray space
No edit summary
Line 1: Line 1:
$(function () {
$(function () {
var myPlace = document.getElementById('CharCount');
var myPlace = document.getElementById('CharCount');
myPlace.innerHTML =
myPlace.innerHTML = $(function addNumericOptions(id, min, max, defIndex) {
$(function addNumericOptions(id, min, max, defIndex) {
var s = getID(id);
var s = getID(id);
for (ii=min; ii<=max; ii++) {
for (ii=min; ii<=max; ii++) {