Add PluginExt extension trait and FilterByOperationName plugin#1837

Merged

hlbarber merged 6 commits intomainfrom harryb/plugin-ext

Oct 11, 2022

+205-88

Commits on Oct 11, 2022

Make Operation fields public
Harry Barber
committed
Split into modules and add FilterByOperationName
Harry Barber
committed
Add copyright header
Harry Barber
committed
Fix documentation
Harry Barber
committed
Fix spelling
Harry Barber
committed
Address feedback
Harry Barber
committed