Merge "Split DateInputWidget & CalendarWidget into a separate ResourceLoader module"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 29 Sep 2015 22:40:05 +0000 (22:40 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 29 Sep 2015 22:40:05 +0000 (22:40 +0000)
commit7c9909f09dbb1dad994a0cc8b89db1a97b74073b
tree7f162a9e7248e20134234cbaa5971517aef864c9
parent936fc308365f762b785a92e8f558a8b5978751d5
parentd12941d582edab1be944dea4c79b9da0e07b23ca
Merge "Split DateInputWidget & CalendarWidget into a separate ResourceLoader module"
resources/Resources.php
resources/src/mediawiki/mediawiki.js