From 6b9e4d0310dfcfd6b780046dad76c7c4c80868b1 Mon Sep 17 00:00:00 2001
From: root
Date: Mon, 10 Nov 2014 13:58:15 +0100
Subject: merged everything in one file

---
 function.php | 15 ---------------
 1 file changed, 15 deletions(-)
 delete mode 100644 function.php

(limited to 'function.php')

diff --git a/function.php b/function.php
deleted file mode 100644
index 87ec766..0000000
--- a/function.php
+++ /dev/null
@@ -1,15 +0,0 @@
-<?php
-
-function getHeader($url){
-	$agent = "Retrieve HTTP headers online. v0.1";
-	$ch = curl_init($url);
-	curl_setopt($ch, CURLOPT_RETURNTRANSFER, 1);
-	curl_setopt($ch, CURLOPT_HEADER, 1);
-	curl_setopt($ch, CURLOPT_FOLLOWLOCATION, true);
-	curl_setopt($ch, CURLOPT_USERAGENT, $agent);
-
-	$response = curl_exec($ch);
-	$header_size = curl_getinfo($ch, CURLINFO_HEADER_SIZE);
-	$header = substr($response, 0, $header_size);
-	return $header;
-}
-- 
cgit v1.2.3