Category:EditPageBeforeEditButtons extensions/de

These extensions all use the hook.