Page MenuHomePhabricator

convertExtensionToRegistration.php needs inline usage hints
Closed, ResolvedPublic

Description

  • Calling php maintenance/convertExtensionToRegistration.php with no arguments results in a stack trace.
  • Calling with --help gives generic help, should also provide help on using this tool.

Event Timeline

awight created this task.Jan 26 2015, 10:50 PM
awight raised the priority of this task from to Needs Triage.
awight updated the task description. (Show Details)
awight added subscribers: awight, Legoktm.
Restricted Application added a subscriber: Aklapper. · View Herald TranscriptJan 26 2015, 10:50 PM
gerritbot added a subscriber: gerritbot.

Change 186893 had a related patch set uploaded (by Legoktm):
convertExtensionToRegistration: Document parameters

https://gerrit.wikimedia.org/r/186893

Patch-For-Review

Change 186893 merged by jenkins-bot:
convertExtensionToRegistration: Document parameters

https://gerrit.wikimedia.org/r/186893

Legoktm closed this task as Resolved.Jan 26 2015, 11:15 PM
Legoktm claimed this task.
Legoktm moved this task from Backlog to Done on the MediaWiki-Configuration board.Mar 4 2015, 7:54 AM