diff options
Diffstat (limited to 'frontends/php/include/html.inc.php')
| -rw-r--r-- | frontends/php/include/html.inc.php | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/frontends/php/include/html.inc.php b/frontends/php/include/html.inc.php index 66b5a741..bcebb5a8 100644 --- a/frontends/php/include/html.inc.php +++ b/frontends/php/include/html.inc.php @@ -19,10 +19,6 @@ **/ ?> <?php - define("BR","<br/>\n"); - define("SPACE"," "); - define("RARR","⇒"); - function bold($str) { if(is_array($str)){ |