Fix some references to removed Html::url in phpdoc