Go to file
Ed Sanders 40bd58859e Prefix browser title while replying/starting a new topic
We already do this while editing so that users can quickly see which
tabs they are actively working on.

This extends the functionality to the reply and new topic tools.

Bug: T262066
Change-Id: Iae662ad26072617aad71e519bb6c3cbb19ef1246
2022-08-25 16:12:54 +01:00
.phan Prevent using the reply tool together with Convenient Discussions gadget 2022-08-17 01:40:43 +02:00
i18n Prefix browser title while replying/starting a new topic 2022-08-25 16:12:54 +01:00
images Compress emptystate.svg with svgo 2021-10-04 12:56:20 +01:00
includes Merge "Fix subscribe button appearing for unsubscribeable sections with visualenhancements" 2022-08-25 14:59:46 +00:00
maintenance Store permalink data, implement Special:FindComment/GoToComment 2022-08-11 01:19:47 +02:00
modules Prefix browser title while replying/starting a new topic 2022-08-25 16:12:54 +01:00
sql Store permalink data, implement Special:FindComment/GoToComment 2022-08-11 01:19:47 +02:00
tests Merge "Fix subscribe button appearing for unsubscribeable sections with visualenhancements" 2022-08-25 14:59:46 +00:00
.eslintignore Fix linting on i18n key order 2021-10-07 17:37:51 +01:00
.eslintrc.json Don't enforce alphabetical order in i18n files 2022-08-12 13:29:39 +03:00
.gitignore
.gitreview
.phpcs.xml build: Updating mediawiki/mediawiki-codesniffer to 32.0.0 2020-10-29 10:53:01 +00:00
.stylelintrc.json Show empty state on mobile when there is only non-discussion content 2022-07-26 13:52:22 +01:00
CODE_OF_CONDUCT.md
composer.json Store permalink data, implement Special:FindComment/GoToComment 2022-08-11 01:19:47 +02:00
COPYING
DiscussionTools.alias.php Merge "Add Czech special page aliases" 2022-08-18 23:48:50 +00:00
extension.json Prefix browser title while replying/starting a new topic 2022-08-25 16:12:54 +01:00
Gruntfile.js eslint: Lint root folder with server rules 2021-10-07 17:37:52 +01:00
package-lock.json build: Update stylelint-config-wikimedia to 0.13.0 2022-05-04 23:25:06 +01:00
package.json build: Update stylelint-config-wikimedia to 0.13.0 2022-05-04 23:25:06 +01:00