From 9fc58af5095303a568015af7fde5948c0dab820f Mon Sep 17 00:00:00 2001 From: Kunal Mehta Date: Sun, 15 Apr 2018 16:40:02 -0700 Subject: [PATCH] Get rid of ICustomizableSkin As far as I can tell this interface is entirely unused. Change-Id: I9f2ff27ab0e7f9f1e842d5e073eed5d9428f3cda --- includes/skins/ICustomizableSkin.php | 34 ---------------------------- includes/skins/SkinMinerva.php | 2 +- skin.json | 1 - 3 files changed, 1 insertion(+), 36 deletions(-) delete mode 100644 includes/skins/ICustomizableSkin.php diff --git a/includes/skins/ICustomizableSkin.php b/includes/skins/ICustomizableSkin.php deleted file mode 100644 index 6d9e261..0000000 --- a/includes/skins/ICustomizableSkin.php +++ /dev/null @@ -1,34 +0,0 @@ -