Fix nubbage in ext.php.