[sr #110659] .php files with javascript code in bug tracker

2022-05-26 Thread Ineiev
Follow-up Comment #11, sr #110659 (project administration): > This is not a php script: > > https://savannah.nongnu.org/js/show-hide.php: No, but this is not a file, either, this is a URL. Plainly speaking, what you quote below is the output of that PHP script (it's even not an object code); pe

[sr #110659] .php files with javascript code in bug tracker

2022-05-26 Thread Yuchen Pei
Follow-up Comment #10, sr #110659 (project administration): [comment #8 comment #8:] > > > One might want to work on savannah, and write a script performing certain actions on all php files assuming they are all php scripts. > > These files _are_ PHP scripts. This is not a php script: https:

[sr #110659] .php files with javascript code in bug tracker

2022-05-26 Thread Ineiev
Update of sr #110659 (project administration): Open/Closed:Open => Closed ___ Follow-up Comment #9: > I'm pretty sure computer programs are copyrightable, Some programs are copyrightable,

[sr #110659] .php files with javascript code in bug tracker

2022-05-26 Thread Ineiev
Follow-up Comment #8, sr #110659 (project administration): > One might want to work on savannah, and write a script performing certain actions on all php files assuming they are all php scripts. These files _are_ PHP scripts. ___ Reply

[sr #110659] .php files with javascript code in bug tracker

2022-05-26 Thread Ineiev
Update of sr #110659 (project administration): Open/Closed: Closed => Open ___ Follow-up Comment #5: > What do you mean that they are not copyrightable? I mean that copyright, as the legal

[sr #110659] .php files with javascript code in bug tracker

2022-05-26 Thread Yuchen Pei
Follow-up Comment #7, sr #110659 (project administration): > I mean that copyright, as the legal system, doesn't apply to them. I'm pretty sure computer programs are copyrightable, otherwise there wouldn't be a free software movement. ___

[sr #110659] .php files with javascript code in bug tracker

2022-05-26 Thread Yuchen Pei
Follow-up Comment #6, sr #110659 (project administration): > Why is it bad? Because it confuses humans, including developers, users and sysadmins. One might want to work on savannah, and write a script performing certain actions on all php files assuming they are all php scripts. Filenames incl

[sr #110659] .php files with javascript code in bug tracker

2022-05-26 Thread Yuchen Pei
Follow-up Comment #4, sr #110659 (project administration): > Yes. most of these scripts (probably all) are clearly uncopyrightable. applying licenses to uncopyrightable works is pointless. What do you mean that they are not copyrightable? Are you saying most of these scripts don't have a license

[sr #110659] .php files with javascript code in bug tracker

2022-05-26 Thread Ineiev
Follow-up Comment #3, sr #110659 (project administration): Yes. most of these scripts (probably all) are clearly uncopyrightable. applying licenses to uncopyrightable works is pointless. if the criteria LibreJS uses say that such scripts should be blocked because they have no licenses, then the cr

[sr #110659] .php files with javascript code in bug tracker

2022-05-25 Thread Yuchen Pei
Follow-up Comment #2, sr #110659 (project administration): > Update of sr #110659 (project administration): > > Status: In Progress => Need Info > Open/Closed:Open => Closed I'm confused - what info is

[sr #110659] .php files with javascript code in bug tracker

2022-05-25 Thread Ineiev
Update of sr #110659 (project administration): Status: In Progress => Need Info Open/Closed:Open => Closed ___ Reply to this item at:

[sr #110659] .php files with javascript code in bug tracker

2022-05-17 Thread Ineiev
Update of sr #110659 (project administration): Status:None => In Progress Assigned to:None => ineiev ___ Follow-up Comment #1: I thought th

[sr #110659] .php files with javascript code in bug tracker

2022-05-17 Thread Yuchen Pei
URL: Summary: .php files with javascript code in bug tracker Project: Savannah Administration Submitted by: ycp Submitted on: Tue 17 May 2022 11:27:20 AM UTC Category: Savannah