From a46ab3d9eddbd3588e0d125c4aab7a518847f8a2 Mon Sep 17 00:00:00 2001
From: Brad Jorsch <bjorsch@wikimedia.org>
Date: Tue, 22 Nov 2016 13:12:38 -0500
Subject: [PATCH] Have phpcs skip local configuration files

There's little point in phpcs checking LocalSettings.php or the other
*.php files in .gitignore.

Change-Id: Ibea15a3f3a7bfe2571e253ba9e19c1d91dfddeff
---
 phpcs.xml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/phpcs.xml b/phpcs.xml
index edce2ea267..4693b42eb5 100644
--- a/phpcs.xml
+++ b/phpcs.xml
@@ -31,4 +31,7 @@
 	<exclude-pattern type="relative">^extensions/</exclude-pattern>
 	<exclude-pattern type="relative">^skins/</exclude-pattern>
 	<exclude-pattern>.git</exclude-pattern>
+	<exclude-pattern>AdminSettings.php</exclude-pattern>
+	<exclude-pattern>LocalSettings.php</exclude-pattern>
+	<exclude-pattern>StartProfiler.php</exclude-pattern>
 </ruleset>
-- 
2.20.1