Last modified: 2014-10-01 05:09:45 UTC

Wikimedia Bugzilla is closed!

Wikimedia migrated from Bugzilla to Phabricator. Bug reports are handled in Wikimedia Phabricator.
This static website is read-only and for historical purposes. It is not possible to log in and except for displaying bug reports and their history, links might be broken. See T73496, the corresponding Phabricator task for complete and up-to-date bug report information.
First Last Prev Next    This bug is not in your last search results.
Bug 71496 - Please rename mediawiki-vagrant.gemspec to another name
Please rename mediawiki-vagrant.gemspec to another name
Status: NEW
Product: MediaWiki-Vagrant
Classification: Unclassified
General (Other open bugs)
unspecified
All All
: Unprioritized enhancement
: ---
Assigned To: Nobody - You can work on this!
:
Depends on:
Blocks:
  Show dependency tree / graph
 
Reported: 2014-10-01 05:09 UTC by Yuri Astrakhan
Modified: 2014-10-01 05:09 UTC (History)
3 users (show)

See Also:
Web browser: ---
Mobile Platform: ---
Assignee Huggle Beta Tester: ---

Attachments
Add an attachment (proposed patch, testcase, etc.)

Description Yuri Astrakhan 2014-10-01 05:09:45 UTC 
Would it be ok to rename mediawiki-vagrant.gemspec to any name that doesn't start with mediawiki? This way autocomplete completes the mediawiki dir with a '/', making typing paths much easier.

Its simply a minor anoyaance :)
Note You need to log in before you can comment on or make changes to this bug.
First Last Prev Next    This bug is not in your last search results.

Navigation
Links