https://bugzilla.wikimedia.org/show_bug.cgi?id=56964
John Mark Vandenberg jayvdb@gmail.com changed:
What |Removed |Added ---------------------------------------------------------------------------- CC| |jayvdb@gmail.com
--- Comment #2 from John Mark Vandenberg jayvdb@gmail.com --- https://gerrit.wikimedia.org/r/#/c/144655/ is a basic implementation. IMO it would be good to have it checked in, and we keep the bug open to address the primary problems with the very large log file.