anchor.diff:    php${PHP_VERSION}-intl php${PHP_VERSION}-xml php${PHP_VERSION}-curl \
     php${PHP_VERSION}-dom php${PHP_VERSION}-fileinfo php${PHP_VERSION}-iconv \
     php${PHP_VERSION}-posix php${PHP_VERSION}-zip \
  +  php${PHP_VERSION}-cli php${PHP_VERSION}-common
     git nginx supervisor \
     && apt-get clean && rm -rf /var/lib/apt/lists/* && mkdir -p /var/run/php
   
  
positive.code: # expose only nginx HTTP port
  EXPOSE 80
  
  # set configuration to look at Docker ENV variables
  ADD config.docker.php config.php
  
  # set default settings
  ENV TTRSS_SELF_URL_PATH="http://localhost"
  ENV TTRSS_DB_NAME="ttrss"
  
negative.code: ENV TTRSS_PHP_EXECUTABLE="/usr/bin/php${PHP_VERSION}"
  ENV TTRSS_LOG_DESTINATION="sql"
  
  # set configuration to look at Docker ENV variables
  # ADD config.docker.php config.php
  
  # patch configuration
  RUN cp config.php-dist config.php
  RUN sed -i "s/define('SESSION_COOKIE_LIFETIME', 86400);/define('SESSION_COOKIE_LIFETIME', ${TTRSS_SESSION_COOKIE_LIFETIME});/" config.php
  
  # set permissions on directories
  RUN chown www-data:www-data -R /var/www && \ 
      chmod -R 777 ${TTRSS_CACHE_DIR}/images && \
  