From 8376ef56580626e9c0f796d5b85b53a0a1c7d5f5 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Sat, 14 Jul 2018 21:03:06 +0100 Subject: gentoo resync : 14.07.2018 --- dev-php/PHP_Timer/files/autoload.php | 13 +++++++++++++ dev-php/PHP_Timer/files/channel.xml | 16 ++++++++++++++++ 2 files changed, 29 insertions(+) create mode 100644 dev-php/PHP_Timer/files/autoload.php create mode 100644 dev-php/PHP_Timer/files/channel.xml (limited to 'dev-php/PHP_Timer/files') diff --git a/dev-php/PHP_Timer/files/autoload.php b/dev-php/PHP_Timer/files/autoload.php new file mode 100644 index 000000000000..bb0974e087d6 --- /dev/null +++ b/dev-php/PHP_Timer/files/autoload.php @@ -0,0 +1,13 @@ + '/Timer.php', + ), + __DIR__ +); diff --git a/dev-php/PHP_Timer/files/channel.xml b/dev-php/PHP_Timer/files/channel.xml new file mode 100644 index 000000000000..91bb6786f543 --- /dev/null +++ b/dev-php/PHP_Timer/files/channel.xml @@ -0,0 +1,16 @@ + + + pear.phpunit.de + PHPUnit PEAR Channel + phpunit + + + + http://pear.phpunit.de/rest/ + http://pear.phpunit.de/rest/ + http://pear.phpunit.de/rest/ + http://pear.phpunit.de/rest/ + + + + \ No newline at end of file -- cgit v1.2.3