Community Wishlist Survey 2022/Categories/Turn Cat-a-lot into a MediaWiki extension

Turn Cat-a-lot into a MediaWiki extension

  • Problem: When moving a category, the pages in the category remain in the previous category.
  • Proposed solution: Turn Cat-a-lot into a MediaWiki extension so that it will be easily available to all users on all wikis.
  • Who would benefit: Users that move a category.
  • More comments:
  • Phabricator tickets:
  • Proposer: USI2020 (talk) 17:21, 23 January 2022 (UTC)

Discussion

  • @USI2020: Have you tried using Cat-a-lot? NguoiDungKhongDinhDanh 19:00, 23 January 2022 (UTC)
    @NguoiDungKhongDinhDanh Cat-a-lot is only for images and subcategories (but not for articles), also this function could be automatic and come with Mediawiki by default USI2020 (talk) 19:19, 23 January 2022 (UTC)
    @USI2020: AFAIK, Cat-a-lot can work with articles as well. Add mw.loader.load('//en.wikipedia.org/w/index.php?title=User:קיפודנחש/cat-a-lot.js&action=raw&ctype=text/javascript'); to your common.js or global.js and enjoy. NguoiDungKhongDinhDanh 19:23, 23 January 2022 (UTC)
    @NguoiDungKhongDinhDanh ok, thanks USI2020 (talk) 19:51, 23 January 2022 (UTC)
    Hello there and thanks for writing this proposal, we discussed this as a team and realized the underlying issue here is that Cat-a-lot should be an extension. Do you mind re-wording your proposals to include this proposed solution? Once that's done, we'll mark it as Accepted so that it can go into voting. Thanks so much, NRodriguez (WMF) (talk) 18:52, 24 January 2022 (UTC)
    @USI2020 See the comment above. What we can offer is turning Cat-a-lot into a MediaWiki extension. This way, it can be offered to all users on all wikis, rather you having to install it first. Alternatively, we can simply archive this proposal as withdrawn if you feel Cat-a-lot suits your needs. Thanks, MusikAnimal (WMF) (talk) 21:09, 25 January 2022 (UTC)
  • @USI2020: I am going to make this a proposal for turning Cat-a-lot into a MediaWiki extension. I will rename and move it and re-write some of the description to reflect this. I hope that is OK. DWalden (WMF) (talk) 13:12, 27 January 2022 (UTC)
    Not sure if this should even be an extension @DWalden (WMF). In MediaWiki being able to move a category, and not loose all of the pages that were in is feels like a fairly sensible core feature. ·addshore· talk to me! 22:45, 4 February 2022 (UTC)
  • Tool more closely related to original proposal: fr:Projet:Scripts et gadgets/Notices/CatRename. ~~~~
    User:1234qwer1234qwer4 (talk)
    23:08, 7 February 2022 (UTC)
  •   Comment Note that, if converted into a server-side extension, it will probably mean that the following edits will be done by another dummy user and not by you, so these edits probably will not be counted anymore. This is good for me, but just to be known. --Valerio Bozzolan (talk) 14:41, 11 February 2022 (UTC)

Voting