mirror/php-phpbb
1
0
Fork 0
mirror of https://github.com/phpbb/phpbb.git synced 2025-07-31 14:00:31 +02:00
Code Issues Releases Wiki Activity

[ticket/16587] Replace Sami by Doctum

Browse Source 
PHPBB3-16587
This commit is contained in:
William Desportes
2020-09-02 12:59:06 +02:00
parent 2b17ecf196
commit 322f8eabd6
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
build/sami-all.conf.php → build/doctum-all.conf.php
View File

@@ -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);