summaryrefslogtreecommitdiff
path: root/prefs.php
diff options
context:
space:
mode:
authorRasmus Lerdorf <[email protected]>2013-05-07 00:35:10 -0700
committerRasmus Lerdorf <[email protected]>2013-05-07 00:35:10 -0700
commit6f7798b6434f5ef6073447998c436901b507e3df (patch)
tree0dfe18b247ee81f7dbd2f4df37631dcd040edef8 /prefs.php
parent2c967d60237c5890549b9c9fa680ee7adec10e6a (diff)
Fixing bugs found by static analysis
Diffstat (limited to 'prefs.php')
-rw-r--r--prefs.php10
1 files changed, 5 insertions, 5 deletions
diff --git a/prefs.php b/prefs.php
index 9bf610a53..b617d94bc 100644
--- a/prefs.php
+++ b/prefs.php
@@ -32,14 +32,14 @@
<head>
<title>Tiny Tiny RSS : <?php echo __("Preferences") ?></title>
- <?php echo stylesheet_tag("lib/dijit/themes/claro/claro.css"); ?>
- <?php echo stylesheet_tag("tt-rss.css"); ?>
- <?php echo stylesheet_tag("prefs.css"); ?>
+ <?php stylesheet_tag("lib/dijit/themes/claro/claro.css"); ?>
+ <?php stylesheet_tag("tt-rss.css"); ?>
+ <?php stylesheet_tag("prefs.css"); ?>
<?php if ($_SESSION["uid"]) {
$theme = get_pref( "USER_CSS_THEME", $_SESSION["uid"], false);
if ($theme) {
- echo stylesheet_tag("themes/$theme");
+ stylesheet_tag("themes/$theme");
}
}
?>
@@ -58,7 +58,7 @@
"lib/dojo/tt-rss-layer.js",
"errors.php?mode=js") as $jsfile) {
- echo javascript_tag($jsfile);
+ javascript_tag($jsfile);
} ?>