2 files changed, 1 insertions, 21 deletions
diff --git a/src/frontend/pay.php b/src/frontend/pay.php
index 243f6dec..84040abc 100644
--- a/src/frontend/pay.php
+++ b/src/frontend/pay.php
@@ -16,7 +16,7 @@
 
 */
 
-include 'util.php';
+include '../frontend_lib/util.php';
 
 function respond_success() {
   $_SESSION['payment_ok'] = true;
diff --git a/src/frontend/util.php b/src/frontend/util.php
deleted file mode 100644
index 103838cc..00000000
--- a/src/frontend/util.php
+++ /dev/null
@@ -1,20 +0,0 @@
-<?php
-
-function get(&$var, $default=null) {
-  return isset($var) ? $var : $default;
-}
-
-function url_join($base, $path) {
-  $url = (new http\URL($base))
-    ->mod(array ("path" => $path), http\Url::JOIN_PATH|http\URL::SANITIZE_PATH);
-  return $url->toString();
-}
-
-// Get a url with a path relative to the
-// current script's path.
-function url_rel($path) {
-  return url_join(
-    $_SERVER['REQUEST_SCHEME'] . '://' . $_SERVER['HTTP_HOST'].$_SERVER['REQUEST_URI'],
-    $path);
-}
-?>