diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2015-09-08 00:22:32 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2015-09-08 00:22:32 +0000 |
| commit | 524c5849274e224449414926cd32559aa76b53e6 (patch) | |
| tree | dced3f26fb1e00aa36e8e4163b02f962ae18b390 /includes/media/DjVuImage.php | |
| parent | 0a138f1acf224675f1a70eff8eea63c8d70a17dc (diff) | |
| parent | 826ac5dc273563ead84adc68e8e09e9625dc3066 (diff) | |
| download | mediawikicore-524c5849274e224449414926cd32559aa76b53e6.tar.gz mediawikicore-524c5849274e224449414926cd32559aa76b53e6.zip | |
Merge "LivePreview: Prevent unnecessary DOM change for spinner"
Diffstat (limited to 'includes/media/DjVuImage.php')
0 files changed, 0 insertions, 0 deletions