From db013ce6ee7d30da3870d548187172cab0a79537 Mon Sep 17 00:00:00 2001
From: Hypolite Petovan <mrpetovan@gmail.com>
Date: Sun, 18 Mar 2018 23:37:22 -0400
Subject: [PATCH] Remove util/createdoxygen

---
 util/createdoxygen.php | 93 ------------------------------------------
 1 file changed, 93 deletions(-)
 delete mode 100755 util/createdoxygen.php

diff --git a/util/createdoxygen.php b/util/createdoxygen.php
deleted file mode 100755
index 798c81474f..0000000000
--- a/util/createdoxygen.php
+++ /dev/null
@@ -1,93 +0,0 @@
-#!/usr/bin/php
-<?php
-/**
- * @file util/createdoxygen.php
- * @brief Adds a doxygen header to functions
- */
-
-if (count($_SERVER["argv"]) < 2)
-	die("usage: createdoxygen.php file\n");
-
-$file = $_SERVER["argv"][1];
-$data = file_get_contents($file);
-
-$lines = explode("\n", $data);
-
-$previous = "";
-
-foreach ($lines AS $line) {
-	$line = rtrim(trim($line, "\r"));
-
-	if (strstr(strtolower($line), "function")) {
-		$detect = strtolower(trim($line));
-		$detect = implode(" ", explode(" ", $detect));
-
-		$found = false;
-
-		if (substr($detect, 0, 9) == "function ")
-			$found = true;
-
-		if (substr($detect, 0, 17) == "private function ")
-			$found = true;
-
-		if (substr($detect, 0, 23) == "public static function ")
-			$found = true;
-
-		if (substr($detect, 0, 10) == "function (")
-			$found = false;
-
-		if ($found and (trim($previous) == "*/"))
-			$found = false;
-
-		if ($found and !strstr($detect, "{"))
-			$found = false;
-
-		if ($found) {
-			echo add_documentation($line);
-		}
-	}
-	echo $line."\n";
-	$previous = $line;
-}
-
-/**
- * @brief Adds a doxygen header
- *
- * @param string $line The current line of the document
- *
- * @return string added doxygen header
- */
-function add_documentation($line) {
-
-	$trimmed = ltrim($line);
-	$length = strlen($line) - strlen($trimmed);
-	$space = substr($line, 0, $length);
-
-	$block = $space."/**\n".
-		$space." * @brief \n".
-		$space." *\n"; /**/
-
-
-	$left = strpos($line, "(");
-	$line = substr($line, $left + 1);
-
-	$right = strpos($line, ")");
-	$line = trim(substr($line, 0, $right));
-
-	if ($line != "") {
-		$parameters = explode(",", $line);
-		foreach ($parameters AS $parameter) {
-			$parameter = trim($parameter);
-			$splitted = explode("=", $parameter);
-
-			$block .= $space." * @param ".trim($splitted[0], "& ")."\n";
-		}
-		if (count($parameters) > 0)
-			$block .= $space." *\n";
-	}
-
-	$block .= $space." * @return \n".
-		$space." */\n";
-
-	return $block;
-}