Script to add some extra buttons to enhanced edit toolbar (from WikiEditor)