Remove uncalled Skin::getNamespaceNotice
authorumherirrender <umherirrender_de.wp@web.de>
Mon, 30 Nov 2015 17:44:30 +0000 (18:44 +0100)
committerumherirrender <umherirrender_de.wp@web.de>
Mon, 30 Nov 2015 17:44:30 +0000 (18:44 +0100)
commit7f9d003f92f1fdd6c7b27524bce8b0b531602429
treee4e6a47dbdc1ea90dd0c67c8375ec928831cbc19
parent56634389cccf18f2993c45cd255fa66691de7087
Remove uncalled Skin::getNamespaceNotice

Found no caller in git extensions

Change-Id: I7567582924757b97b94f757170bc67b18e4ca089
includes/skins/Skin.php