reversioned extension.php