Merge branch 'master' of git.oopen.de:install/php

mod_php_install.sh

@@ -6913,7 +6913,7 @@ if [ -f /etc/manpath.config ];then
       echo "MANPATH_MAP /usr/local/php/bin /usr/local/php/php/man" >> /etc/manpath.config
       echo "MANDB_MAP /usr/local/php/php/man /var/cache/man" >> /etc/manpath.config
    fi
-elif [ -f /etc/man.conf];then
+elif [ -f /etc/man.conf ]; then
    if ! grep /opt/php/man /etc/man.conf > /dev/null 2<&1 ; then
       echo >> /etc/man.conf
       echo "MANPATH /opt/php/man /var/cache/man" >> /etc/man.conf