WordPress.org
Get WordPress

Making WordPress.org

Opened 9 years ago

Closed 9 years ago

Last modified 5 years ago

#3174 closed defect (bug) (fixed)

Remove an extra line at the end of doc comment

Reported by: Mirucon Owned by: obenland
Priority: normal Milestone:
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 9 years ago.

Download all attachments as: .zip

Change History (4)

@Mirucon
9 years ago

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

#2 @obenland
9 years ago

  • Owner set to obenland
  • Status new → accepted

#3 @obenland
9 years ago

  • Resolution → fixed
  • Status accepted → closed

Fixed in [6287].

Note: See TracTickets for help on using tickets.