Wikipedia talk:STiki/Leaderboard/Archive 1

Name
Strongly suggest we rename this to STiki/Editor statistics. Calling it "leaderboard" sends the wrong message. Rich Farmbrough, 00:29, 31 October 2012 (UTC).


 * Oppose Can not relate statistics here. "Leaderboard" in our STiki context is unique on Wikipedia.  Leave it as it is, please.  -- Gareth Griffith-Jones / The Welsh Buzzard 10:13, 31 October 2012 (UTC)

AGF?
Can someone translate the acronym 'AGF" on the leaderboard please? It should be explained on the page. --Greenmaven (talk) 09:26, 27 November 2012 (UTC)

AGF in this context stands for 'although the edit was probably made in "good faith" we have reverted it because it does not appear to be constructive'. -- Gareth Griffith-Jones / The Welsh Buzzard 13:13, 27 November 2012 (UTC)


 * Thanks Gareth for explaining and making the change. I took your change and integrated it into the source code so that your change does not get overwritten during tonight's (and subsequent) updates. Thanks, -AW

Just wondering...
How often is the leaderboard updated? --Greenmaven (talk) 20:50, 27 November 2012 (UTC)
 * Daily, automatically ... at 05:00 hrs.GMT ... i.e. Midnight in USA (East coast) -- Gareth Griffith-Jones / The Welsh Buzzard 21:12, 27 November 2012 (UTC)

Vacation9
Andrew, with regards the issue on the milestones page, it appears this user is listed twice on the leaderboard - once as Vacation9 with 2880 edits and again as vacation9 with 168 edits both of which link to the same user page. Is it possible for a user to create multiple accounts by changing the capitalisation of a username when logging in?

I notice with my username it appears on the leaderboard in lowercase where elsewhere on the wiki it's capitalised am I right in thinking the software goes with how a username was typed at the first login? Fraggle81 (talk) 04:52, 7 January 2013 (UTC)


 * Yeah, I intend to look into that after I noticed the account pop-up on the leaderboard as a new user. I am pretty sure the database is case-insensitive on this matter, but maybe there is a comparison somewhere in Java code where I failed to accommodate for different capitalization case. Should be pretty trivial to re-map and fix once discovered. Thanks, -AW


 * Now fixed. The problem was people adding leading whitespace to their usernames, i.e., "  west.andrew.g". Seemingly the Wikipedia API would discard the space and treat it as a legitimate user name, but my DB would retain the space and treat it as a unique username compared to that without the spacing. I've "combined" all the usernames to which this has occurred and made the fix in code. Thanks, West.andrew.g (talk) 15:32, 8 January 2013 (UTC)