Custom log rotations are defined in
The DokuWiki update check has been disabled on 10-Aug-2015, because we can't upgrade to newer versions for the time being due to PHP version requirements with the old server.
PHP version 7.0.17 has been compiled, and the nightly builds script modified to switch to use that. If another version is needed for any reason, refer to installation steps 4 and 5 below.
If you need to use a specific PHP version with phpenv, e.g. for a manual operation, the following commands need to be executed to initialize the environment:
export PHPENV_ROOT=/srv/phpenv export PATH=$PHPENV_ROOT/bin:$PATH eval "$(phpenv init -)"
phpenv help for a list of available commands.
Note that to switch the global PHP version, the
phpenv global command must be run as root since the configuration file is saved in
Generally following the instructions in phpenv's README file.
/etc/apt/sources.listand replace all occurences of us.archive.ubuntu.com and security.ubuntu.com/ubuntu by old-releases.ubuntu.com/ubuntu
sudo apt-get update
git clone git://github.com/madumlao/phpenv.git /srv/phpenv git clone https://github.com/php-build/php-build /srv/phpenv/plugins/php-build
sudo apt-get install libxml2-dev libcurl4-gnutls-dev libjpeg-dev libpng-dev libmcrypt-dev libreadline-dev libtidy-dev libxslt-dev
phpenv install 7.0.17