|
@@ 762-764 (lines=3) @@
|
| 759 |
|
: 'FANCY_BATMAN_PANTS'; |
| 760 |
|
$class_name = str_replace('\\', '_', $class_name); |
| 761 |
|
// check if class has already been loaded, and return it if it has been |
| 762 |
|
if (isset($this->{$class_abbreviation}) && ! is_null($this->{$class_abbreviation})) { |
| 763 |
|
return $this->{$class_abbreviation}; |
| 764 |
|
} |
| 765 |
|
if (isset ($this->{$class_name})) { |
| 766 |
|
return $this->{$class_name}; |
| 767 |
|
} |
|
@@ 794-797 (lines=4) @@
|
| 791 |
|
: 'FANCY_BATMAN_PANTS'; |
| 792 |
|
$class_name = str_replace('\\', '_', $class_name); |
| 793 |
|
// check if class has already been loaded, and return it if it has been |
| 794 |
|
if (isset($this->{$class_abbreviation}) && ! is_null($this->{$class_abbreviation})) { |
| 795 |
|
$this->{$class_abbreviation} = null; |
| 796 |
|
return true; |
| 797 |
|
} |
| 798 |
|
if (isset($this->{$class_name})) { |
| 799 |
|
$this->{$class_name} = null; |
| 800 |
|
return true; |