| Index: trunk/phase3/includes/Title.php |
| — | — | @@ -3135,9 +3135,8 @@ |
| 3136 | 3136 | $u->doUpdate(); |
| 3137 | 3137 | } |
| 3138 | 3138 | # Update message cache for interface messages |
| 3139 | | - if ( $nt->getNamespace() == NS_MEDIAWIKI ) { |
| 3140 | | - global $wgMessageCache; |
| 3141 | | - |
| | 3139 | + global $wgMessageCache; |
| | 3140 | + if ( $this->getNamespace() == NS_MEDIAWIKI ) { |
| 3142 | 3141 | # @bug 17860: old article can be deleted, if this the case, |
| 3143 | 3142 | # delete it from message cache |
| 3144 | 3143 | if ( $this->getArticleID() === 0 ) { |
| — | — | @@ -3146,7 +3145,8 @@ |
| 3147 | 3146 | $oldarticle = new Article( $this ); |
| 3148 | 3147 | $wgMessageCache->replace( $this->getDBkey(), $oldarticle->getContent() ); |
| 3149 | 3148 | } |
| 3150 | | - |
| | 3149 | + } |
| | 3150 | + if ( $nt->getNamespace() == NS_MEDIAWIKI ) { |
| 3151 | 3151 | $newarticle = new Article( $nt ); |
| 3152 | 3152 | $wgMessageCache->replace( $nt->getDBkey(), $newarticle->getContent() ); |
| 3153 | 3153 | } |