Added basic support for PHP current(...) builtin function