commit fe4ff6ddd38afda3ef88fff32f98e04bcdbeadcd
parent 213b454e3ffac3e5b9bfe8e6995f42a4302ab7dd
Author: Felicitus <felicitus@felicitus.org>
Date: Tue, 6 Sep 2011 00:24:49 +0200
Merge branch 'master' of github.com:partkeepr/PartKeepr
Conflicts:
3rdparty/extjs
Diffstat:
1 file changed, 2 insertions(+), 0 deletions(-)
diff --git a/src/de/RaumZeitLabor/PartKeepr/Setup/Setup.php b/src/de/RaumZeitLabor/PartKeepr/Setup/Setup.php
@@ -1,6 +1,8 @@
<?php
namespace de\RaumZeitLabor\PartKeepr\Setup;
+use de\RaumZeitLabor\PartKeepr\PartKeepr;
+
declare(encoding = 'UTF-8');
class Setup {