| Index: trunk/phase3/includes/resourceloader/ResourceLoaderWikiModule.php |
| — | — | @@ -91,7 +91,7 @@ |
| 92 | 92 | continue; |
| 93 | 93 | } |
| 94 | 94 | $title = Title::newFromText( $titleText ); |
| 95 | | - if ( !$title ) { |
| | 95 | + if ( !$title || $title->isRedirect() ) { |
| 96 | 96 | continue; |
| 97 | 97 | } |
| 98 | 98 | $script = $this->getContent( $title ); |
| — | — | @@ -119,7 +119,7 @@ |
| 120 | 120 | continue; |
| 121 | 121 | } |
| 122 | 122 | $title = Title::newFromText( $titleText ); |
| 123 | | - if ( !$title ) { |
| | 123 | + if ( !$title || $title->isRedirect() ) { |
| 124 | 124 | continue; |
| 125 | 125 | } |
| 126 | 126 | $media = isset( $options['media'] ) ? $options['media'] : 'all'; |