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

Merge "Restore check for dividebyzero"

Browse source
This commit is contained in:
jenkins-bot 2019-04-06 12:35:23 +00:00 committed by Gerrit Code Review
parent e03488b66a 9144f20245
commit d53c84da36
2 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
includes/parser/AFPData.php
View file

@ -346,7 +346,7 @@ class AFPData {
$a = $a->toNumber();
$b = $b->toNumber();
if ( $op !== '*' && $b === 0 ) {
if ( $op !== '*' && (float)$b === 0.0 ) {
throw new AFPUserVisibleException( 'dividebyzero', $pos, [ $a ] );
}

1
tests/phpunit/AFPDataTest.php
View file

@ -117,6 +117,7 @@ class AFPDataTest extends MediaWikiTestCase {
public function divideByZero() {
return [
[ '1/0', 'mulRel' ],
[ '1/0.0', 'mulRel' ],
];
}
}