[MediaWiki-commits] [Gerrit] Add numeric filters - change (wikimedia...dash)

2015-12-12 Thread Cdentinger (Code Review)
Cdentinger has submitted this change and it was merged. Change subject: Add numeric filters .. Add numeric filters Bug: T120678 Change-Id: I90ccc9e76778c8212cd44a730fc111f44f8f6265 --- M src/app/startup.js M

[MediaWiki-commits] [Gerrit] Add numeric filters - change (wikimedia...dash)

2015-12-06 Thread Ejegg (Code Review)
Ejegg has uploaded a new change for review. https://gerrit.wikimedia.org/r/257203 Change subject: Add numeric filters .. Add numeric filters Change-Id: I90ccc9e76778c8212cd44a730fc111f44f8f6265 --- M src/app/startup.js M