+ $link = $this->repo->id
+ . '/tool/' . $option
+ . '/' . $this->getFilename();
+ } else if ($type == 'display') {
+ $link = $this->repo->id . '#' . $this->getFilename();
+ } else {
+ throw new Exception('Unknown type');
+ }
+
+ if ($full) {
+ $link = Tools::fullUrl($link);