merged everything in one file

1 files changed, 0 insertions, 15 deletions

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;
-}