Fix ExtensionRegistry cache doc that is out of date
authoraddshore <addshorewiki@gmail.com>
Mon, 17 Oct 2016 21:06:45 +0000 (22:06 +0100)
committeraddshore <addshorewiki@gmail.com>
Tue, 18 Oct 2016 10:55:05 +0000 (11:55 +0100)
commitc8042bb8ccbd74efd842ba2b7f8482462ac7f2d9
treefd46b64e65f09e0200bf8bc3064213a15690e77f
parentda49ad8e8c5331fa8a49fa0bbc626f14d49c5485
Fix ExtensionRegistry cache doc that is out of date

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