credits file for phpdbg