Remove unused entity from calendar.dtd

VERIFIED FIXED in 0.8

Status

--
trivial
VERIFIED FIXED
11 years ago
11 years ago

People

(Reporter: mozilla, Assigned: sipaq)

Tracking

unspecified

Details

Attachments

(1 attachment)

(Reporter)

Description

11 years ago
User-Agent:       Mozilla/5.0 (Windows; U; Windows NT 5.1; de; rv:1.8.1.11) Gecko/20071127 Firefox/2.0.0.11
Build Identifier: 

calendarproperties.autorefresh.label in calendar.dtd isn't used and should be removed. See 
http://lxr.mozilla.org/mozilla/search?string=properties.autorefresh.label and bug 215971 comment 24.

Reproducible: Always
(Assignee)

Comment 1

11 years ago
Created attachment 291513 [details] [diff] [review]
Patch
Assignee: nobody → bugzilla
Status: UNCONFIRMED → ASSIGNED
Ever confirmed: true
Attachment #291513 - Flags: review?(philipp)
Attachment #291513 - Flags: review?(philipp) → review+
(Assignee)

Comment 2

11 years ago
Patch checked in on HEAD and MOZILLA_1_8_BRANCH.

--> FIXED
Status: ASSIGNED → RESOLVED
Last Resolved: 11 years ago
Resolution: --- → FIXED
(Assignee)

Updated

11 years ago
Target Milestone: --- → 0.8

Comment 3

11 years ago
Checked touched file -> task is fixed and verified.
Status: RESOLVED → VERIFIED
You need to log in before you can comment on or make changes to this bug.