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 e8c3606cf1d4cd718b6d54fc3f69c6c6d9e6725c..4b8e936dd677bb931552703d7c2b47675a070002 100644 (file)
--- 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;