WordPress.org
Get WordPress

Making WordPress.org

Opened 7 years ago

Closed 7 years ago

Last modified 3 years ago

#3174 closed defect (bug) (fixed)

Remove an extra line at the end of doc comment

Reported by: mirucon's profile Mirucon Owned by: obenland's profile obenland
Milestone: Priority: normal
Component: Plugin Directory Keywords: has-patch
Cc:

Description

There was an extra line at the end of doc comment. Just removing it.

Attachments (1)

3174.diff​ (556 bytes) - added by Mirucon 7 years ago.

Download all attachments as: .zip

Change History (4)

@Mirucon
7 years ago

This ticket was mentioned in ​Slack in #meta by ipstenu. ​View the logs.
7 years ago

#2 @obenland
7 years ago

  • Owner set to obenland
  • Status changed from new to accepted

#3 @obenland
7 years ago

  • Resolution set to fixed
  • Status changed from accepted to closed

Fixed in [6287].

Note: See TracTickets for help on using tickets.