From 26b77483ee7545c0e4f8eeb205a5743bf3589adb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Nicolas=20L=C5=93uillet?= <nicolas@loeuillet.org>
Date: Sat, 12 Jul 2014 16:39:31 +0200
Subject: remove PicoFarad
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

I’ll implement it an other day.
---
 inc/3rdparty/PicoFarad/Request.php | 78 --------------------------------------
 1 file changed, 78 deletions(-)
 delete mode 100644 inc/3rdparty/PicoFarad/Request.php

(limited to 'inc/3rdparty/PicoFarad/Request.php')

diff --git a/inc/3rdparty/PicoFarad/Request.php b/inc/3rdparty/PicoFarad/Request.php
deleted file mode 100644
index 46c82bca..00000000
--- a/inc/3rdparty/PicoFarad/Request.php
+++ /dev/null
@@ -1,78 +0,0 @@
-<?php
-
-namespace PicoFarad\Request;
-
-
-function param($name, $default_value = null)
-{
-    return isset($_GET[$name]) ? $_GET[$name] : $default_value;
-}
-
-
-function int_param($name, $default_value = 0)
-{
-    return isset($_GET[$name]) && ctype_digit($_GET[$name]) ? (int) $_GET[$name] : $default_value;
-}
-
-
-function value($name)
-{
-    $values = values();
-    return isset($values[$name]) ? $values[$name] : null;
-}
-
-
-function values()
-{
-    if (! empty($_POST)) {
-
-        return $_POST;
-    }
-
-    $result = json_decode(body(), true);
-
-    if ($result) {
-        return $result;
-    }
-
-    return array();
-}
-
-
-function body()
-{
-    return file_get_contents('php://input');
-}
-
-
-function file_content($field)
-{
-    if (isset($_FILES[$field])) {
-        return file_get_contents($_FILES[$field]['tmp_name']);
-    }
-
-    return '';
-}
-
-
-function file_info($field)
-{
-    if (isset($_FILES[$field])) {
-        return array(
-            'name' => $_FILES[$field]['name'],
-            'mimetype' => $_FILES[$field]['type'],
-            'size' => $_FILES[$field]['size'],
-        );
-    }
-
-    return false;
-}
-
-
-function file_move($field, $destination)
-{
-    if (isset($_FILES[$field]) && ! file_exists($destination)) {
-        @mkdir(dirname($destination), 0777, true);
-        move_uploaded_file($_FILES[$field]['tmp_name'], $destination);
-    }
-}
\ No newline at end of file
-- 
cgit v1.2.3