{"shas":[["7382440082b6ee4f21a57a055c89e0bb18a0f190","78b6854e22ab09d4ae3dac29b92052963103b33e@wiedler.ch","[feature/request-class] Add server(), header() and is_ajax() to request\n\nExtend the request class with helpers for reading server vars (server())\nand HTTP request headers (header()). Refactor the existing code base\nto make use of these helpers, make $_SERVER a deactivated super global.\n\nAlso introduce an is_ajax() method, which checks the X-Requested-With\nheader for the value 'XMLHttpRequest', which is sent by JavaScript\nlibraries, such as jQuery.\n\nPHPBB3-9716","Igor Wiedler"]],"ref":"refs/heads/feature/request-class","size":1,"head":"7382440082b6ee4f21a57a055c89e0bb18a0f190","push_id":36692433}