A version of Autodef programming language for PHP