Translations:Manual:RequestContext.php/13/en

MediaWiki 1.19 added a DerivativeContext class.