Document the usage of the php.ini save_path