diff options
| author | Christian Weiske <cweiske@cweiske.de> | 2012-04-02 22:49:08 +0200 |
|---|---|---|
| committer | Christian Weiske <cweiske@cweiske.de> | 2012-04-02 22:49:08 +0200 |
| commit | 49edffee3b57251d0cc122306888829b7884e387 (patch) | |
| tree | ca20e6d150c18991e53136bf66e5f03133444484 /src/Phorkie/File.php | |
| parent | dde0d82eeebec49bd84b9ca364cc089ec2d3401e (diff) | |
| download | phorkie-49edffee3b57251d0cc122306888829b7884e387.tar.gz phorkie-49edffee3b57251d0cc122306888829b7884e387.zip | |
include geshi only once
Diffstat (limited to 'src/Phorkie/File.php')
| -rw-r--r-- | src/Phorkie/File.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Phorkie/File.php b/src/Phorkie/File.php index 3c6ea4b..44970ed 100644 --- a/src/Phorkie/File.php +++ b/src/Phorkie/File.php @@ -104,7 +104,7 @@ class File * Yes, geshi needs to be in your include path * We use the mediawiki geshi extension package. */ - require 'MediaWiki/geshi/geshi/geshi.php'; + require_once 'MediaWiki/geshi/geshi/geshi.php'; $geshi = new \GeSHi($this->getContent(), $this->getType()); $geshi->enable_line_numbers(GESHI_NORMAL_LINE_NUMBERS); $geshi->set_header_type(GESHI_HEADER_DIV); |
