Thread:Extension talk:FlaggedRevs/Error for /maintenance/updateStats.php - "Notice: Undefined variable: times"/reply

PHP warning fixed in r108165.