reddit/reddit — pull request #828 by andre-d (2013-06-28 19:43:10+00:00)
Title: Add filtering by admins to modlog viewer

Requested by bitcruncher.

Adds a moderator filer option called "admins" which only shows modactions by users in g.admins.

Uses a special value of "a" which, since it is one character, cannot exist as a valid user.