fix phpIniLines