Populate player name (from most used one) after database is fully populated:
UPDATE `player` SET `name`=(
SELECT `name`
FROM `player_names`
WHERE `player_names`.guid = `player`.guid
GROUP BY guid, name
ORDER BY MAX(`time`) DESC LIMIT 1
);
Description
Languages
JavaScript
90.3%
Python
6.3%
HTML
2.9%
CSS
0.5%