I have seen in Dokuwiki documentation at
https://www.dokuwiki.org/caching
Purging the cache
All of DokuWiki's cache files can be easily invalidated by “touching” the conf/local.php file and thus changing its last modification timestamp.
So I understand the configuration with PHP 7.1 only works while the cached version of 7.0.27 exist.