原型

hello_dolly()

源文件

路径:wp-content/plugins/hello.php

<?php
...
	$chosen = hello_dolly_get_lyric();
	echo "<p id='dolly'>$chosen</p>";
}
...
?>

其他

英文文档:https://developer.wordpress.org/reference/functions/hello_dolly/