Fix PHPDoc of LogRevisionsListener