Example #1
0
File: CHM.php Project: philip/phd
 public function format_link($open, $name, $attrs, $props)
 {
     $link = parent::format_link($open, $name, $attrs, $props);
     // Add title attribute to external links so address can be seen in CHM files.
     $search = '`<a href="([^#"][^"]++)" class="link external">`';
     $replacement = '<a href="\\1" class="link external" title="Link : \\1">';
     $link = preg_replace($search, $replacement, $link);
     return $link;
 }
Example #2
0
File: Web.php Project: philip/phd
 public function __destruct()
 {
     parent::close();
 }