wikimedia/mediawiki-extensions-AbuseFilter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/AbuseFilter.git synced 2024-11-12 08:49:28 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix a notice

Browse source
This commit is contained in:
Andrew Garrett 2008-08-31 08:05:33 +00:00
parent aac69c2f69
commit 1f7effdd19
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
AbuseFilter.parser.php
View file

@ -690,6 +690,8 @@ class AbuseFilterParser {
$tok .= $code[0];
$code = substr( $code, 1 );
$base = '';
while( strlen( $code ) != 0 && self::isDigitOrDot( $code[0] ) ) {
$tok .= $base = $code[0];
$code = substr( $code, 1 );