From a6dd27897ee819155625a3a17262298f6de45335 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Michal=20=C4=8Ciha=C5=99?= <michal@cihar.com>
Date: Tue, 25 Oct 2016 10:41:38 +0200
Subject: [PATCH] Remove no longer used file
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

The docs is now generated using ApiGen.

See also phpmyadmin/docker#78

Signed-off-by: Michal Čihař <michal@cihar.com>
---
 phpdox.xml | 122 -----------------------------------------------------
 1 file changed, 122 deletions(-)
 delete mode 100644 phpdox.xml

diff --git a/phpdox.xml b/phpdox.xml
deleted file mode 100644
index 1071dfe9e0..0000000000
--- a/phpdox.xml
+++ /dev/null
@@ -1,122 +0,0 @@
-<?xml version="1.0" encoding="utf-8" ?>
-<!--  This is a skeleton phpDox config file - Check http://phpDox.de for latest version and more info -->
-<phpdox xmlns="http://xml.phpdox.net/config" silent="false">
-    <!--  @silent: true | false to enable or disable visual output of progress -->
-
-    <!-- Additional bootstrap files to load for additional parsers and/or engines -->
-    <!-- Place as many require nodes as you feel like in this container -->
-    <!-- syntax: <require file="/path/to/file.php" /> -->
-    <bootstrap />
-
-    <!-- A phpDox project to process, you can have multiple projects in one config file -->
-    <project name="phpmyadmin" source="${basedir}/libraries" workdir="${basedir}/build/phpdox/xml">
-        <!--  @name    - The name of the project -->
-        <!--  @source  - The source directory of the application to process -->
-        <!--  @workdir - The directory to store the xml data files in -->
-
-        <!--  A phpDox config file can define additional variables (properties) per project -->
-        <!--  <property name="some.name" value="the.value" /> -->
-
-        <!--  Values can make use of previously defined properties -->
-        <!--  The following are defined by default:
-
-                ${basedir}                Directory the loaded config file is in
-
-                ${phpDox.home}            Directory of the phpDox installation
-                ${phpDox.file}            The current config file
-                ${phpDox.version}         phpDox' version number
-
-                ${phpDox.project.name}    The value of project/@name if set, otherwise 'unnamed'
-                ${phpDox.project.source}  The value of project/@source if set, otherwise '${basedir}/src'
-                ${phpDox.project.workdir} The value of project/@workdir if set, otherwise '${basedir}/build/phpdox/xml'
-
-                ${phpDox.php.version}     The PHP Version of the interpreter in use
-
-         -->
-
-        <!--  Additional configuration for the collecting process (parse of php code, generation of xml data) -->
-        <collector publiconly="false" backend="parser">
-            <!--  @publiconly - Flag to disable/enable processing of non public methods and members -->
-            <!--  @backend    - The collector backend to use, currently only shipping with 'parser' -->
-
-            <!--  <include / exclude filter for filelist generator, mask must follow fnmatch() requirements  -->
-            <include mask="*.php" />
-            <exclude mask="" />
-
-            <!--  How to handle inheritance -->
-            <inheritance resolve="true">
-                <!--  @resolve - Flag to enable/disable resolving of inheritance -->
-
-                <!--  You can define multiple (external) dependencies to be included -->
-                <!--  <dependency  path="" -->
-                <!--    @path  - path to a directory containing an index.xml for a dependency project -->
-            </inheritance>
-
-        </collector>
-
-        <!--  Configuration of generation process -->
-        <generator output="${basedir}/build/phpdox">
-            <!-- @output - (Base-)Directory to store output data in -->
-
-            <!-- A generation process consists of one or more build tasks and of (optional) enrich sources -->
-
-            <enrich base="${basedir}/build">
-                <!-- @base - (Base-)Directory of datafiles used for enrich process -->
-
-                <!-- add build information - this should always be enabled -->
-                <source type="build" />
-
-                <!-- add phploc output -->
-                <source type="phploc" />
-
-                <!-- add git vcs information -->
-                <source type="git">
-                    <git binary="/usr/bin/git" />
-                    <history enabled="true" limit="15" cache="${phpDox.project.workdir}/gitlog.xml" />
-                </source>
-
-
-                <!-- enrichment source -->
-                <!--<source type="checkstyle">-->
-                    <!-- @type - the handler for the enrichment -->
-                    <!--         known types by default are: checkstyle, pmd, clover, phpunit -->
-
-                    <!-- every enrichment source can have additional configuration nodes, most probably need a logfile -->
-                    <!-- <file name="logs/checkstyle.xml" /> -->
-                <!--</source> -->
-
-                <!-- enrichment source -->
-                <!--<source type="phpcs">-->
-                <!-- @type - the handler for the enrichment -->
-                <!--         known types by default are: checkstyle, pmd, clover, phpunit, phpcs -->
-
-                <!-- every enrichment source can have additional configuration nodes, most probably need a logfile -->
-                <!-- <file name="logs/phpcs.xml" /> -->
-                <!--</source> -->
-
-                <!-- PHPMessDetector -->
-                <!--
-                <source type="pmd">
-                    <file name="pmd.xml" />
-                </source>
-                -->
-
-            </enrich>
-
-            <!-- <build engine="..." enabled="true" output="..." /> -->
-            <!--   @engine  - The name of the engine this build task uses, use ./phpDox - -engines to get a list of available engines -->
-            <!--   @enabled - Flag to enable/disable this engine, default: enabled=true -->
-            <!--   @output  - (optional) Output directory; if relative (no / as first char) it is interpreted as relative to generator/@output -->
-
-            <!-- An engine and thus build node can have additional configuration child nodes, please check the documentation for the engine to find out more -->
-
-            <!--  default engine "html" -->
-            <build engine="html" enabled="true" output="html">
-                <template dir="${phpDox.home}/templates/html" />
-                <file extension="html" />
-            </build>
-
-        </generator>
-    </project>
-
-</phpdox>