From 35195668ee21e2df642c8727b7c2a87668896715 Mon Sep 17 00:00:00 2001 From: Umherirrender Date: Sun, 6 May 2018 09:13:06 +0200 Subject: [PATCH] Remove empty skins folder from phan config Similar to extensions folder there is nothing to do Change-Id: I5bd9a8f70fb020325c892f04e3eac7a3e46d772a --- tests/phan/config.php | 3 --- 1 file changed, 3 deletions(-) diff --git a/tests/phan/config.php b/tests/phan/config.php index 71ebd6f4d0..5ea72b2738 100644 --- a/tests/phan/config.php +++ b/tests/phan/config.php @@ -72,7 +72,6 @@ return [ 'maintenance/', 'mw-config/', 'resources/', - 'skins/', 'vendor/', ], @@ -100,8 +99,6 @@ return [ 'maintenance/language/', // External class 'includes/libs/jsminplus.php', - // separate repositories - 'skins/', ], /** -- 2.20.1