php php stuff *mini_php: for php commandLine interface. all relate files from official php.net. mini_php.go: call mini_php in golang