Passed
Push — extensionRegistration ( 02c574 )
by no
02:29
created

Changes

Good job, 1 issue was fixed.
9.8
▶   ± 0
Head
Thiemo Mättig  
Remove MediaWiki wgExtensionCredits registration
Base
Amir Sarabadani  
Merge pull request #73 from wmde/update-build