Last modified: 2014-03-20 10:28:50 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 T64769, the corresponding Phabricator task for complete and up-to-date bug report information.
Bug 62769 - Rename Popups extension to "Hovercards"
Rename Popups extension to "Hovercards"
Status: RESOLVED FIXED
Product: MediaWiki extensions
Classification: Unclassified
Popups (Other open bugs)
unspecified
All All
: Unprioritized normal (vote)
: ---
Assigned To: Nobody - You can work on this!
:
Depends on:
Blocks:
  Show dependency treegraph
 
Reported: 2014-03-18 04:05 UTC by Prateek Saxena
Modified: 2014-03-20 10:28 UTC (History)
8 users (show)

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


Attachments

Description Prateek Saxena 2014-03-18 04:05:56 UTC
Apart from changing the namespace in the code the following pages will needed to be changed to 

Git Repo: https://git.wikimedia.org/summary/mediawiki%2Fextensions%2FPopups
MediaWiki Page: https://www.mediawiki.org/wiki/Extension:Popups
Component name on Bugzilla:
https://bugzilla.wikimedia.org/buglist.cgi?component=Popups&list_id=288107

Please add anything that I have missed!
Comment 1 Prateek Saxena 2014-03-18 04:41:47 UTC
Change the name of the schema.
https://meta.wikimedia.org/wiki/Schema:Popups
Comment 2 Prateek Saxena 2014-03-18 05:21:16 UTC
I've created https://www.mediawiki.org/wiki/Extension:Hovercards but all the links here are currently messed up!
Comment 3 Gerrit Notification Bot 2014-03-18 05:28:45 UTC
Change 119239 had a related patch set uploaded by Prtksxna:
WIP: Rename popups to hovercards

https://gerrit.wikimedia.org/r/119239
Comment 4 Kunal Mehta (Legoktm) 2014-03-18 05:49:56 UTC
What's the rationale for the name change? Changing the name of a git repo screws a lot of things up :/
Comment 5 Prateek Saxena 2014-03-18 05:52:05 UTC
I am very worried about things getting screwed up as well. I think Dan will be able to give you a reason.
Comment 6 Dan Garry 2014-03-18 18:28:51 UTC
(In reply to Kunal Mehta (Legoktm) from comment #4)
> What's the rationale for the name change? Changing the name of a git repo
> screws a lot of things up :/

We don't want this to be confused with the similarly named Navigation Popups feature which is aimed at a totally different set of users.

As I mentioned in email, I am fine with the name of the extension proper remaining as Popups, as long as the user-facing sections refer to it as Hovercards.
Comment 7 Gerrit Notification Bot 2014-03-19 01:08:43 UTC
Change 119239 abandoned by Prtksxna:
WIP: Rename popups to hovercards

https://gerrit.wikimedia.org/r/119239
Comment 8 Gerrit Notification Bot 2014-03-19 01:09:44 UTC
Change 119429 had a related patch set uploaded by Prtksxna:
Renaming Popups to Hovercards in the i18n file

https://gerrit.wikimedia.org/r/119429
Comment 9 Gerrit Notification Bot 2014-03-19 07:10:44 UTC
Change 119429 merged by Yuvipanda:
Renaming Popups to Hovercards in the i18n file

https://gerrit.wikimedia.org/r/119429
Comment 10 Yuvi Panda 2014-03-20 10:24:29 UTC
So we didn't end up renaming the repository, but all user visible messages have been renamed. I suppose that is good enough and we can close this?
Comment 11 Prateek Saxena 2014-03-20 10:28:50 UTC
Didn't rename everything due to the reasons stated in the following conversation
https://gist.githubusercontent.com/prtksxna/516ad754198455051575/raw/eee792182bf0ebe67dbdd8fe13b49d4ddc564df2/gistfile1.txt

The renaming that *required* has been done.

Note You need to log in before you can comment on or make changes to this bug.


Navigation
Links