Tag NavigationTiming events with PHP5/HHVM

Follows I85a7327db in mediawiki/extensions/NavigationTiming.git.

Change-Id: Id016f2947864730b14a4a7ecfde3e67457fd7c7d