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