API: Log usage of action=tokens
authorBrad Jorsch <bjorsch@wikimedia.org>
Fri, 3 Oct 2014 18:06:43 +0000 (14:06 -0400)
committerBrad Jorsch <bjorsch@wikimedia.org>
Fri, 3 Oct 2014 18:06:43 +0000 (14:06 -0400)
commit85f7b9085b4da9af90ce74cc9dc77dbb05bc27fb
tree547c14f1ed9cb5b9a12d561d4dd905e0590363ce
parent957657bc72f1dee9a494edee69df273e5cfbd345
API: Log usage of action=tokens

Change-Id: I5fb7d4e3c7924e61747b652a5cbc3ce0a7ccef01
includes/api/ApiTokens.php