Fatal error: Uncaught Error: Class "MediaWiki\Context\ContextSource" not found in /var/www/html/w/extensions/VisualEditor/.phan/stubs/FlaggedRevs.php:13 Stack trace: #0 {main} thrown in /var/www/html/w/extensions/VisualEditor/.phan/stubs/FlaggedRevs.php on line 13