diff --git a/src/CoreBundle/Tool/AbstractPlugin.php b/src/CoreBundle/Tool/AbstractPlugin.php new file mode 100644 index 0000000000..9c1c9a5316 --- /dev/null +++ b/src/CoreBundle/Tool/AbstractPlugin.php @@ -0,0 +1,15 @@ +