@@ 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; |