Index: trunk/phase3/includes/OutputPage.php |
— | — | @@ -2233,9 +2233,9 @@ |
2234 | 2234 | NS_USER, |
2235 | 2235 | $userpage->getDBkey() . '/' . $name . '.js' |
2236 | 2236 | ); |
2237 | | - if ( $scriptpage && $scriptpage->exists() ) { |
| 2237 | + if ( $scriptpage && $scriptpage->exists() && ( $scriptpage->getLength() > 0 ) ) { |
2238 | 2238 | $userjs = $scriptpage->getLocalURL( 'action=raw&ctype=' . $wgJsMimeType ); |
2239 | | - $this->addScriptFile( $userjs ); |
| 2239 | + $this->addScriptFile( $userjs, $scriptpage->getLatestRevID() ); |
2240 | 2240 | } |
2241 | 2241 | } |
2242 | 2242 | } |