registration: Remove unused ExtensionRegistry::markLoaded
authorKunal Mehta <legoktm@member.fsf.org>
Sat, 10 Feb 2018 07:44:06 +0000 (23:44 -0800)
committerUmherirrender <umherirrender_de.wp@web.de>
Mon, 12 Feb 2018 20:43:48 +0000 (20:43 +0000)
commit77d37c2487bc4eee88038acb0f6b2bd8810f9786
tree9df13c4302b3e027a5b10cd4bb77ecbb258d59f7
parentde2fe331aacfdbb5209f79c474a0b14d9eceb92b
registration: Remove unused ExtensionRegistry::markLoaded

This is unused, and it would make more sense for whatever wants to add
credits to directly modify $this->loaded instead of incurring the
overhead of an extra function call.

Change-Id: Icce1a87d2dc8ce61cb05eace6e0b65d6cea4c58d
includes/registration/ExtensionRegistry.php