summaryrefslogtreecommitdiff
path: root/prefs.php
diff options
context:
space:
mode:
authorAndrew Dolgov <[email protected]>2013-07-31 15:05:05 +0400
committerAndrew Dolgov <[email protected]>2013-07-31 15:05:05 +0400
commit3684074387fe28e6c96037d5fdade7854eb0247e (patch)
treecaeb9da7cc0d529dd2f4af82f99d26a12d7b5d8b /prefs.php
parent87721123b7c6af608fa73036e8cc562c1cc9876e (diff)
use require_once for minifier
Diffstat (limited to 'prefs.php')
-rw-r--r--prefs.php2
1 files changed, 1 insertions, 1 deletions
diff --git a/prefs.php b/prefs.php
index fcf21cf2e..6c203bd2a 100644
--- a/prefs.php
+++ b/prefs.php
@@ -64,7 +64,7 @@
<script type="text/javascript">
require({cache:{}});
<?php
- require 'lib/jshrink/Minifier.php';
+ require_once 'lib/jshrink/Minifier.php';
foreach (PluginHost::getInstance()->get_plugins() as $n => $p) {
if (method_exists($p, "get_prefs_js")) {