Update PHPDocs in DocumentManager.php

Important for IDEs like PHPStorm.