From 4d0a8e5c2f03b3306f995723042840a31faee8ac Mon Sep 17 00:00:00 2001
From: Oliver Vogel <oliver@olivervogel.com>
Date: Thu, 29 Feb 2024 18:01:37 +0100
Subject: [PATCH] Add support of dist file name phpcs.dist.xml

To achieve a better editor experience, XML files should have a
corresponding extension, as this is often used to recognize the file
type and derive corresponding features such as highlighting.
---
 src/Config.php | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/Config.php b/src/Config.php
index e512d33fe6..cb7a0ca174 100644
--- a/src/Config.php
+++ b/src/Config.php
@@ -397,6 +397,8 @@ public function __construct(array $cliArgs=[], $dieOnUnknownArg=true)
                 'phpcs.xml',
                 '.phpcs.xml.dist',
                 'phpcs.xml.dist',
+                '.phpcs.dist.xml',
+                'phpcs.dist.xml',
             ];
 
             do {