ActiveUsersPager: Fix outer GROUP BY
authorBrad Jorsch <bjorsch@wikimedia.org>
Fri, 16 Aug 2019 17:57:51 +0000 (13:57 -0400)
committerBrad Jorsch <bjorsch@wikimedia.org>
Fri, 16 Aug 2019 17:57:51 +0000 (13:57 -0400)
commit8103d35f08e7ca27bae5e013fdf6cd21c3147e18
tree09ed58a6a59370de266ac81a6ba19cb05c14e035
parent94048ef7b6ac6ba4c6c7203a40976204cda2436b
ActiveUsersPager: Fix outer GROUP BY

MySQL doesn't care, but PG actually enforces rules about GROUP BY
columns.

Bug: T230618
Change-Id: If769db525bf53c906ad3e0e1d1a6e92194f622a8
includes/specials/pagers/ActiveUsersPager.php