|
@@ 730-732 (lines=3) @@
|
| 727 |
|
: 'FANCY_BATMAN_PANTS'; |
| 728 |
|
$class_name = str_replace('\\', '_', $class_name); |
| 729 |
|
// check if class has already been loaded, and return it if it has been |
| 730 |
|
if (isset($this->{$class_abbreviation}) && ! is_null($this->{$class_abbreviation})) { |
| 731 |
|
return $this->{$class_abbreviation}; |
| 732 |
|
} |
| 733 |
|
if (isset ($this->{$class_name})) { |
| 734 |
|
return $this->{$class_name}; |
| 735 |
|
} |
|
@@ 762-765 (lines=4) @@
|
| 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 |
|
$this->{$class_abbreviation} = null; |
| 764 |
|
return true; |
| 765 |
|
} |
| 766 |
|
if (isset($this->{$class_name})) { |
| 767 |
|
$this->{$class_name} = null; |
| 768 |
|
return true; |