Proxy implementations of core PHP classes