int() isn't a function
authorSam Reed <reedy@users.mediawiki.org>
Tue, 30 Nov 2010 18:50:07 +0000 (18:50 +0000)
committerSam Reed <reedy@users.mediawiki.org>
Tue, 30 Nov 2010 18:50:07 +0000 (18:50 +0000)
maintenance/tests/phpunit/includes/api/generateRandomImages.php

index ee91e2d..a72d34f 100644 (file)
@@ -18,7 +18,7 @@ $options = getopt( null, $getOptSpec );
 $format = isset( $options['format'] ) ? $options['format'] : 'jpg';
 unset( $options['format'] );
 
-$number = isset( $options['number'] ) ? int( $options['number'] ) : 10;
+$number = isset( $options['number'] ) ? intval( $options['number'] ) : 10;
 unset( $options['number'] );
 
 $randomImageGenerator = new RandomImageGenerator( $options );