Svoboda | Graniru | BBC Russia | Golosameriki | Facebook
BBC RussianHomePhabricator
Log In
Maniphest T111743

extensions/Gadgets - file permissions trigger debian lintian warnings
Closed, ResolvedPublic

Description

0) Context

DEB packages of mediawiki and many of its extensions, are prepared as part of the WP-MIRROR project.
See https://www.mediawiki.org/wiki/Wp-mirror.

  1. Lintian

During the build process, lintian performs a great number of sanity checks, including seeing if each file has file permissions appropriate to its file type.

When lintian sees a non-executable file with 755 permissions, rather than 644, lintian will throw a warning like:

W: wp-mirror-mediawiki: executable-not-elf-or-script usr/share/wp-mirror-mediawiki/extensions/Gadgets/extension.json

  1. Files which should have permissions set to 644

extensions/Gadgets/extension.json
extensions/Gadgets/Gadgets_body.php

  1. Technical details

DEB standards version: 3.9.6
GIT branch: master

Event Timeline

wpmirrordev assigned this task to daniel.
wpmirrordev raised the priority of this task from to Medium.
wpmirrordev updated the task description. (Show Details)
wpmirrordev subscribed.

Change 236817 had a related patch set uploaded (by Southparkfan):
chmod 644 for php and json files

https://gerrit.wikimedia.org/r/236817

Change 236817 merged by jenkins-bot:
chmod 644 for php and json files

https://gerrit.wikimedia.org/r/236817

I confirm that the above mentioned debian lintian warnings are cured.
Thanks.