Thread:Extension talk:WikiEditor/User script, customization