Updated mediawiki/extensions
Project: mediawiki/extensions/NavigationTiming  907fb11cd292054bcc1e637d680190d740be8fd2

Log namespace number

Needed to get file page loading times, which would be used as a
baseline metric for MediaViewer. There are probably other use
cases for this, such as article loading times or Flow page loading
times.

Change-Id: I48a9b3659b920492cc0a1ec1fecb600ab2dbf517