2017-08-18 | jenkins-bot | Merge "Remove deprecated jquery.mwExtension module" | blob | commitdiff | raw |
2017-08-18 | jenkins-bot | Merge "Use json extension for .stylelintrc" | blob | commitdiff | raw |
2017-08-17 | WMDE-Fisch | Use json extension for .stylelintrc | blob | commitdiff | raw |