<?php
/**
 * DOCman 1.4.x - Joomla! Document Manager
 * @version $Id: admin.docman.html.php 765 2009-01-05 20:55:57Z mathias $
 * @package DOCman_1.4
 * @copyright (C) 2003-2009 Joomlatools
 * @license http://www.gnu.org/copyleft/gpl.html GNU/GPL
 * @link http://www.joomlatools.eu/ Official website
 **/
defined('_VALID_MOS') or die('Restricted access');

if(defined('_DOCMAN_HTML')){
    return;
}else{
    define('_DOCMAN_HTML', 1);
}

class HTML_DocMan{
}

