Ed Sanders bdacb3ab91 Suppress new phan error ... Change-Id: I7da42e0fa83228474b6b9fae9e2bd2fe4be1e835		2020-07-01 15:41:55 +01:00
..
auth	build: Updating mediawiki/mediawiki-phan-config to 0.10.2	2020-06-02 11:15:21 +00:00
specials	Fix MediaWiki.Commenting.FunctionComment.MissingDocumentationPublic	2020-04-15 00:45:00 +01:00
store	Fix MediaWiki.Commenting.FunctionComment.MissingDocumentationPublic	2020-04-15 00:45:00 +01:00
CaptchaTriggers.php	Fix PSR12.Properties.ConstantVisibility.NotFound	2020-04-15 00:25:50 +01:00
CaptchaValue.php	Add AuthManager support to SimpleCaptcha, QuestyCaptcha, FancyCaptcha, MathCaptcha	2016-05-16 09:50:25 +00:00
ConfirmEditHooks.php	Suppress new phan error	2020-07-01 15:41:55 +01:00