|
@@ 767-769 (lines=3) @@
|
| 764 |
|
: 'FANCY_BATMAN_PANTS'; |
| 765 |
|
$class_name = str_replace('\\', '_', $class_name); |
| 766 |
|
// check if class has already been loaded, and return it if it has been |
| 767 |
|
if (isset($this->{$class_abbreviation}) && ! is_null($this->{$class_abbreviation})) { |
| 768 |
|
return $this->{$class_abbreviation}; |
| 769 |
|
} |
| 770 |
|
if (isset ($this->{$class_name})) { |
| 771 |
|
return $this->{$class_name}; |
| 772 |
|
} |
|
@@ 799-802 (lines=4) @@
|
| 796 |
|
: 'FANCY_BATMAN_PANTS'; |
| 797 |
|
$class_name = str_replace('\\', '_', $class_name); |
| 798 |
|
// check if class has already been loaded, and return it if it has been |
| 799 |
|
if (isset($this->{$class_abbreviation}) && ! is_null($this->{$class_abbreviation})) { |
| 800 |
|
$this->{$class_abbreviation} = null; |
| 801 |
|
return true; |
| 802 |
|
} |
| 803 |
|
if (isset($this->{$class_name})) { |
| 804 |
|
$this->{$class_name} = null; |
| 805 |
|
return true; |