From: Matthias Schmidt <gravatronics@live.com>
Date: Thu, 13 Jul 2017 17:38:36 +0000 (+0200)
Subject: Ignore `options.inc.php` during WSC file sync
X-Git-Tag: 3.1.0_Alpha_1~274
X-Git-Url: https://git.stricted.de/?a=commitdiff_plain;h=e23c1b3073915c8579927e75c6ffe03e8b7f6543;p=GitHub%2FWoltLab%2FWCF.git

Ignore `options.inc.php` during WSC file sync

See #2331
---

diff --git a/wcfsetup/install/files/lib/system/devtools/pip/DevtoolsPip.class.php b/wcfsetup/install/files/lib/system/devtools/pip/DevtoolsPip.class.php
index e8c3606cf1..4b8e936dd6 100644
--- a/wcfsetup/install/files/lib/system/devtools/pip/DevtoolsPip.class.php
+++ b/wcfsetup/install/files/lib/system/devtools/pip/DevtoolsPip.class.php
@@ -208,6 +208,10 @@ class DevtoolsPip extends DatabaseObjectDecorator {
 								// ignore dot files and files/directories starting with a dot
 								return false;
 							}
+							else if ($filename === 'options.inc.php') {
+								// ignores `options.inc.php` file which is only valid for installation
+								return false;
+							}
 							else if ($filename === 'templates') {
 								// ignores both `templates` and `acp/templates`
 								return false;