PHP Fatal error: Call to undefined function url()

If with replace all links checked is checked then a fatal error is generated for all cached pages. This does not cause any ill effects for me, except pollute my error logs. The following patch seeks to fix that in a non-intrusive way.

On cached pages the HOOK_exit code in feedburner calls url(), which does not exist. This patch checks for 'url' being present. Seemed a quick easy way to solve the problem.

--- base/feedburner/feedburner.module 2009-01-02 23:34:11.000000000 -0800
+++ patches/feedburner/feedburner.module 2009-01-29 17:41:50.000000000 -0800
@@ -122,7 +122,7 @@
*/
function feedburner_exit() {
// Replace any links to original feed URLs with their FeedBurner equivalents.
- if (feedburner_var('replace_html') && ob_get_level()) {
+ if (feedburner_var('replace_html') && ob_get_level() && function_exists('url')) {
// Get the current output and clean the output buffer.
$data = ob_get_contents();
ob_end_clean();