From 322f8eabd6b708304f2e8aa0b46cc197e18ae900 Mon Sep 17 00:00:00 2001
From: William Desportes <williamdes@wdes.fr>
Date: Wed, 2 Sep 2020 12:59:06 +0200
Subject: [PATCH] [ticket/16587] Replace Sami by Doctum

PHPBB3-16587
---
 build/{sami-all.conf.php => doctum-all.conf.php} | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)
 rename build/{sami-all.conf.php => doctum-all.conf.php} (77%)

diff --git a/build/sami-all.conf.php b/build/doctum-all.conf.php
similarity index 77%
rename from build/sami-all.conf.php
rename to build/doctum-all.conf.php
index 91f12f296e..5acc62ba58 100644
--- a/build/sami-all.conf.php
+++ b/build/doctum-all.conf.php
@@ -11,9 +11,9 @@
 *
 */
 
-require __DIR__ . '/sami-checkout.conf.php';
+require __DIR__ . '/doctum-checkout.conf.php';
 
-$config['versions'] = Sami\Version\GitVersionCollection::create(__DIR__ . '/../')
+$config['versions'] = Doctum\Version\GitVersionCollection::create(__DIR__ . '/../')
 	/*
 	This would be nice, but currently causes various problems that need
 	debugging.
@@ -30,4 +30,4 @@ $config['versions'] = Sami\Version\GitVersionCollection::create(__DIR__ . '/../'
 	->add('master')
 ;
 
-return new Sami\Sami($iterator, $config);
+return new Doctum\Doctum($iterator, $config);