wiki-grav/plugins/devtools/devtools.php
2022-11-19 15:55:01 +01:00

14 lines
152 B
PHP

<?php
namespace Grav\Plugin;
use Grav\Common\Plugin;
/**
* Class DevToolsPlugin
* @package Grav\Plugin
*/
class DevToolsPlugin extends Plugin
{
}