<?php
/**
 * RedBean Plugin
 *
 * @file    RedBean/Plugin.php
 * @desc    Marker interface for plugins.
 * @author  Gabor de Mooij and the RedBeanPHP Community
 * @license BSD/GPLv2
 *
 * copyright (c) G.J.G.T. (Gabor) de Mooij and the RedBeanPHP Community
 * This source file is subject to the BSD/GPLv2 License that is bundled
 * with this source code in the file license.txt.
 */
interface RedBean_Plugin
{
}

;
