Merge "RCFilters: Reduce startup overhead from 'config.json' computation"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 1 Jul 2019 19:52:30 +0000 (19:52 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 1 Jul 2019 19:52:30 +0000 (19:52 +0000)
commit2e0cf0891444367942677692cf8efde87f19c3ef
tree252be1ab5ff3d0871524f91e1d0a2a35abecfa22
parentb95a76ae9ecace5772989995a9a6d7e11fb1fdc6
parent9c9cfa2ec3d7a2a01f43fe670111735d12a38ab8
Merge "RCFilters: Reduce startup overhead from 'config.json' computation"
includes/changetags/ChangeTags.php
resources/Resources.php