# HG changeset patch
# User Tom Fredrik Blenning <bfg@bfgconsult.no>
# Date 1672185901 -3600
# Node ID 14959382c901511be0a74993d5b9b004806c1c19
# Parent  7858ceb293d1403f0b295dac73692f6bcefd280f
Mark static function.

diff -r 7858ceb293d1 -r 14959382c901 Options.inc
--- a/Options.inc	Wed Dec 28 01:04:22 2022 +0100
+++ b/Options.inc	Wed Dec 28 01:05:01 2022 +0100
@@ -94,7 +94,7 @@
    * @param $value string to replace values in
    * @return the processed string
    */
-  function replacePlaceholders($value)
+  static function replacePlaceholders($value)
   {
     $value = preg_replace('/%HOST%/', $_SERVER['HTTP_HOST'], $value);
     return $value;
@@ -304,4 +304,4 @@
     }
   }
 }
-?>
\ No newline at end of file
+?>