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