Wikimedia Bugzilla is closed!

[Tue Aug 19 12:11:55 2008] [error] [client 10.95.30.102] PHP Notice:  Object of class FooExtension could not be converted to int in ../includes/specials/SpecialVersion.php on line 313, referer: http://mywiki.com/wiki/Special:SpecialPages.

This error is being thrown on Special:Version for parser tag extensions under 1.13.0 but it did not happen under 1.12.0.  The extensions, which all work, follow this pattern:

/* FooExtension.php */
<?php
$wgExtensionCredits['parserhook'][] = array(
  'name' => 'FooExtension',
  'author' =>'My Name',
  'url' => 'http://foo',
  'description' => 'docs here',
  'version' => '1.0');

require_once('FooExtension_body.php');

# Set up the hook
$wgExtensionFunctions[] = array(new FooExtension, 'setup');

# Autoload system messages
$wgExtensionMessagesFiles['FooExtension'] = dirname(__FILE__) . '/FooExtension.i18n.php';

This is with PHP 5.1.6 on CentOS 5 Linux.