Update docs.php