Turns out the original phpdoc was wrong