Deleted Doxygen plugin, since a well documented PHP file is infinitely better than any documentation.