|
@@ 728-730 (lines=3) @@
|
| 725 |
|
: 'FANCY_BATMAN_PANTS'; |
| 726 |
|
$class_name = str_replace('\\', '_', $class_name); |
| 727 |
|
// check if class has already been loaded, and return it if it has been |
| 728 |
|
if (isset($this->{$class_abbreviation}) && $this->{$class_abbreviation} !== null) { |
| 729 |
|
return $this->{$class_abbreviation}; |
| 730 |
|
} |
| 731 |
|
if (isset ($this->{$class_name})) { |
| 732 |
|
return $this->{$class_name}; |
| 733 |
|
} |
|
@@ 760-763 (lines=4) @@
|
| 757 |
|
: 'FANCY_BATMAN_PANTS'; |
| 758 |
|
$class_name = str_replace('\\', '_', $class_name); |
| 759 |
|
// check if class has already been loaded, and return it if it has been |
| 760 |
|
if (isset($this->{$class_abbreviation}) && $this->{$class_abbreviation} !== null) { |
| 761 |
|
$this->{$class_abbreviation} = null; |
| 762 |
|
return true; |
| 763 |
|
} |
| 764 |
|
if (isset($this->{$class_name})) { |
| 765 |
|
$this->{$class_name} = null; |
| 766 |
|
return true; |