public function getReportLink() { $links = parent::getReportLink(); return array_merge($links, array("Online lint tool" => "bin/xref-lint.php")); }