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

[Pablo Chamorro C.]

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.

-- 
Tel: +57 (2) 7314752/3222/2595 - Fax: +57 (2) 7310514
Carrera 31 #18-07 Parque Infantil - PO Box 1795 - Pasto