mediawiki: collect hhvm stats

Change-Id: I3b4d93a0fca7e7f48c6913623b0736ea78517259
Signed-off-by: Giuseppe Lavagetto <glavagetto@wikimedia.org>