|
@@ 723-725 (lines=3) @@
|
| 720 |
|
: 'FANCY_BATMAN_PANTS'; |
| 721 |
|
$class_name = str_replace('\\', '_', $class_name); |
| 722 |
|
// check if class has already been loaded, and return it if it has been |
| 723 |
|
if (isset($this->{$class_abbreviation}) && ! is_null($this->{$class_abbreviation})) { |
| 724 |
|
return $this->{$class_abbreviation}; |
| 725 |
|
} |
| 726 |
|
if (isset ($this->{$class_name})) { |
| 727 |
|
return $this->{$class_name}; |
| 728 |
|
} |
|
@@ 755-758 (lines=4) @@
|
| 752 |
|
: 'FANCY_BATMAN_PANTS'; |
| 753 |
|
$class_name = str_replace('\\', '_', $class_name); |
| 754 |
|
// check if class has already been loaded, and return it if it has been |
| 755 |
|
if (isset($this->{$class_abbreviation}) && ! is_null($this->{$class_abbreviation})) { |
| 756 |
|
$this->{$class_abbreviation} = null; |
| 757 |
|
return true; |
| 758 |
|
} |
| 759 |
|
if (isset($this->{$class_name})) { |
| 760 |
|
$this->{$class_name} = null; |
| 761 |
|
return true; |