bug76451.inc

<?php

class Foo {}
class_alias('Foo', 'Bar');