diff options
Diffstat (limited to 'dev-php/PHP_Timer/files/autoload-5.0.3.php')
| -rw-r--r-- | dev-php/PHP_Timer/files/autoload-5.0.3.php | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/dev-php/PHP_Timer/files/autoload-5.0.3.php b/dev-php/PHP_Timer/files/autoload-5.0.3.php new file mode 100644 index 000000000000..45b65b6045e8 --- /dev/null +++ b/dev-php/PHP_Timer/files/autoload-5.0.3.php @@ -0,0 +1,18 @@ +<?php +/* Autoloader for dev-php/PHP_Timer */ + +if (!class_exists('Fedora\\Autoloader\\Autoload', false)) { + require_once '/usr/share/php/Fedora/Autoloader/autoload.php'; +} + +\Fedora\Autoloader\Autoload::addClassMap( + [ + 'sebastianbergmann\timer\duration' => '/Duration.php', + 'sebastianbergmann\timer\exception' => '/exceptions/Exception.php', + 'sebastianbergmann\timer\noactivetimerexception' => '/exceptions/NoActiveTimerException.php', + 'sebastianbergmann\timer\resourceusageformatter' => '/ResourceUsageFormatter.php', + 'sebastianbergmann\timer\timer' => '/Timer.php', + 'sebastianbergmann\timer\timesincestartofrequestnotavailableexception' => '/exceptions/TimeSinceStartOfRequestNotAvailableException.php', + ], + __DIR__ +); |