<?php

/**
 * NB: Deleting this class will break plugin API, since
 * plugins then would have to extend PluginBase in the
 * namespace instead of this class.
 */
class PluginBase extends \ls\pluginmanager\PluginBase
{

}
