Userscript: Difference between revisions

Content deleted Content added
Proposed merge from Userscript manager
Closing stale 2023 merge proposal; uncontested objection and no support; see Talk:Userscript#Merger discussion
Line 1:
{{Merge from | Userscript manager | discuss=Talk:Userscript#Merger discussion | date=November 2023 }}
 
{{Short description|Program usually written in JavaScript for modifying web pages}}
{{for|use of userscripts on Wikipedia|Wikipedia:User scripts|selfref=y}}