Completed
Push — master ( 1d3e0c...e6b0b6 )
by
unknown
10:13
created

No notable changes

There were no notable changes in the changeset which was inspected.

8.61
▶   ± 0
Head
libraryupgrader  
build: Updating mediawiki/mediawiki-phan-config to 0.10.6
Base
James D. Forrester  
Use User->isRegistered(), not deprecated isLoggedIn()