fix (Database) profiler phpdoc type