Community Wishlist Survey 2022/Wikisource/Fix search and replace in the Page namespace editor/Proposal/id
Appearance
- Problem: Seperti yang kami lakukan setiap tahun, kami memohon kesalahan ini diperbaiki, kesalahan yang entah mengapa masih saja ada. Fungsi cari dan ganti di editor standar rusak, dan itu merupakan fungsi dasar bagi setiap editor.
- Proposed solution: Perbaiki masalah mendasar di API JS yang menyebabkan fungsi cari-dan-ganti rusak. Kalau tidak, hapus tombol cari&ganti dan ganti fungsinya dengan peralatan terpisah.
- Who would benefit: Semua pengguna Wikisource
- More comments: Permohonan sebelumnya:
- Phabricator tickets: phab:T183950
- Proposer: Ruthven (msg) 16:32, 11 January 2022 (UTC)