Last modified: 2014-01-14 16:41:18 UTC
Wikimedia's server admin log at <https://wikitech.wikimedia.org/wiki/Server_Admin_Log> is goofy: * it's disproportionately expensive to store new entries given the full wiki page system currently in place; * each entry doesn't contain a complete timestamp (years are missing); and * the log can't be effectively sorted or filtered due to its lack of structure (plus manual pagination, ick). We can probably just set up a custom MediaWiki log format and use Special:Log? In 2008, Trevor wrote [[mw:Extension:LogEntry]]. I'm not sure how much of this extension works toward the potential goal of using Special:Log, but perhaps it's a helpful start for anyone who wants to work on this bug.
There's apparently also [[mw:Extension:ServerAdminLog]] (via Timo & Ori). I'm not sure what Wikimedia Labs uses. I believe it has a bunch of server admin logs, hmm.
It would be relatively easy to just log events into logstash and to tag them. Getting the log history could be a canned search. It would be searchable, which is a massive win over what we have now.