Updated mediawiki/extensions
Project: mediawiki/extensions/UserFunctions  0238b051466fdf0cf4b93e4e059d1ec94b03fd5a

RequestContext has existed since 1.18, and getNamespace() since forever

Change-Id: I7a0318d9120a45d4b873d21c5ec322ae3d0fcc5b