some extention for miui gerrit
目前为
Some extensions for miui gerrit
Note that this script is only for function expansion and does not involve any intrusive damage
1.8 1.9 features
- change copy content format
1.7 features
- add settings and reset button
- package corgi
1.6 features
- fix bugs
- add settings button
1.5 features
- fix bugs
- add base Button
1.4 features
- fix bugs
- add toastr
1.3 features
- fix bugs
1.2 features
- fix bugs
1.1 features
- fix bugs
- add debug
1.0 features
- remove group title
- remove foot dom
- add checkbox to every change
- add copy button which copy these checkbox selected changes when click