aude added a comment. it appears that the special page is actually rendered by php and then the javascript just (optionally) adds stuff like the watch stars.
https://github.com/wikimedia/mediawiki-extensions-MobileFrontend/blob/master/includes/specials/SpecialMobileEditWatchlist.php#L45-L70 title text simply comes from: $titleText = $title->getPrefixedText() TASK DETAIL https://phabricator.wikimedia.org/T115013 EMAIL PREFERENCES https://phabricator.wikimedia.org/settings/panel/emailpreferences/ To: aude Cc: Bene, Lydia_Pintscher, gerritbot, Sjoerddebruin, aude, Aklapper, Wikidata-bugs, Mbch331 _______________________________________________ Wikidata-bugs mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikidata-bugs
