View source for Manual:Extension/CustomMenu