Use Doctum instead of Sami

Signed-off-by: William Desportes <[email protected]>

Author: williamdes

.gitignore

@@ -2,7 +2,7 @@
 composer.phar
 composer.lock
 /vendor/
-/doc/
+/build/
 .php_cs.cache
 phpunit.xml
 coverage.xml

.scrutinizer.yml

@@ -3,7 +3,7 @@ checks:
 
 filter:
   excluded_paths:
-    - ci/sami-config.php
+    - ci/doctum-config.php
 
   dependency_paths:
     - vendor/

.travis.yml

@@ -17,9 +17,6 @@ matrix:
   allow_failures:
     - php: nightly
   include:
-    - php: 7.1
-      name: "Documentation"
-      script: vendor/bin/sami.php --no-interaction update ./ci/sami-config.php
     - php: 7.1
       name: "Coding standard"
       script: vendor/bin/phpcs
@@ -34,6 +31,15 @@ matrix:
       env: DBASE=yes
       install:
         - composer install --no-interaction --ignore-platform-reqs
+    - php: 7.2
+      name: "API docs"
+      before_install: phpenv config-rm xdebug.ini
+      after_success: skip
+      install:
+        - composer global require "code-lts/doctum:^5.0"
+        - composer install --no-interaction
+      script:
+        - $HOME/.composer/vendor/bin/doctum.php --no-interaction update ./ci/doctum-config.php
 
 before_install:
   - |

ci/doctum-config.php

@@ -0,0 +1,23 @@
+<?php
+/**
+ * This file has been generated by phpmyadmin/scripts/develdocs/build.sh
+ * @see https://github.com/phpmyadmin/scripts/blob/master/develdocs/doctum.php
+ * @see https://github.com/phpmyadmin/scripts/blob/master/develdocs/build.sh
+ */
+use Doctum\Doctum;
+use Symfony\Component\Finder\Finder;
+use Doctum\RemoteRepository\GitHubRemoteRepository;
+
+$root = realpath(__DIR__ . '/../') . '/';
+
+$iterator = Finder::create()
+    ->files()
+    ->name('*.php')
+    ->in($root . 'src');
+
+return new Doctum($iterator, [
+    'title'                => json_decode(file_get_contents($root . 'composer.json'))->description,
+    'build_dir'            => $root . 'build/apidocs/',
+    'cache_dir'            => $root . 'tmp/',
+    'remote_repository'    => new GitHubRemoteRepository('phpmyadmin/shapefile', $root),
+]);