-- SELECT user_name, page_namespace, COUNT(*) AS edit_count

-- FROM revision_userindex

-- JOIN actor_revision ON rev_actor = actor_id

-- JOIN user ON user_id = actor_user

-- JOIN page ON rev_page = page_id AND page_namespace = 0

-- WHERE user_name = 'Jimmy-bot'

-- group by user_name;

​

(SELECT * FROM user WHERE user_editcount >= 1000000)