| commit | 92b40f5c819099fee3933023711ce0d36f73dab0 | [log] [tgz] |
|---|---|---|
| author | Markus Keller <markus.kell.r@gmail.com> | Wed Oct 10 01:15:44 2018 +0200 |
| committer | Markus Keller <markus.kell.r@gmail.com> | Wed Oct 17 21:04:50 2018 +0200 |
| tree | 8f8ffcb09655a24beb547ad25260e0800a905fbb | |
| parent | d62275a583e438d45c0c7b747d209c6e34d654e3 [diff] |
Bug 528766: Bugzilla scripts not working with Greasemonkey 4 Use gm4-polyfill.js to make it work for old and new users. Breaks support for locally modifiable jdtbugzilla.config.js. Change-Id: Ib5a94d3203fcd27c26069dac32748b9711529166