Updated mediawiki/extensions
Project: mediawiki/extensions/GWToolset  dfdd87ea1eab9a9a3048b8462c22fe0552e2836b

Rename wfIsHipHop() to wfIsHHVM()

From I81e4ce5 in core.

Change-Id: I3a490efae9d63b96debddbdafee81f9cf5f9ccef