[Mediawiki-l] small edit problem updating to 1.4.5 solved?

I decided to update my media wiki 1.4.4 to 1.4.5 but the 'save' button didn't work any more. The apache log gave this error:

[client 192.168.x.x] PHP Fatal error: Call to undefined function: pinglimiter() in /var/www/html/mediawiki-1.4.5/includes/EditPage.php on line 214, referer: http://intranet.mydomain/wiki?title=...&action=submit

I compared EditPage.php from media wiki 1.4.4/5 with this result:

214,217d213 < if ( $wgUser->pingLimiter() ) { < $wgOut->rateLimited(); < return; < } 500c496 < $editsummary="{$summary}: <input tabindex='2' type='text' value="$summarytext" name="wpSummary" maxlength='200' size='60' /><br />"; ---

                          $editsummary="{$summary}: <input 

tabindex='3' type='text' value="$summarytext" name="wpSummary" maxlength='200' size='60' /><br />";

So, I decided to use the previous EditPage.php version and like this I was able to save again.

My question is: perhaps is this a bug? or an php or php-mysql specific problem?

Thanks,

Pablo Chamorro C.