| Index: branches/wmf/1.17wmf1/extensions/WikiLove/modules/ext.wikiLove/ext.wikiLove.core.js |
| — | — | @@ -689,6 +689,8 @@ |
| 690 | 690 | targetBaseUrl === currentBaseUrl |
| 691 | 691 | // Compatibility with 1.17, 1.18 |
| 692 | 692 | || mw.config.get( 'wgServer' ) + targetBaseUrl === currentBaseUrl |
| | 693 | + // Compatibility with protocol-relative URLs |
| | 694 | + || window.location.protocol + mw.config.get( 'wgServer' ) + targetBaseUrl === currentBaseUrl |
| 693 | 695 | ) { |
| 694 | 696 | window.location.reload(); |
| 695 | 697 | } |