Remove closing tags from pure PHP files

This commit is contained in:
Alex Cabal 2019-04-03 16:25:00 -05:00
parent 0cd89eb10c
commit def275ab3c
21 changed files with 2 additions and 20 deletions

View file

@ -33,4 +33,3 @@ const REPOS_PATH = SITE_ROOT . '/ebooks';
const GITHUB_SECRET_FILE_PATH = SITE_ROOT . '/config/secrets/se-vcs-bot@github.com'; // Set in the GitHub organization global webhook settings.
const GITHUB_WEBHOOK_LOG_FILE_PATH = '/var/log/local/webhooks-github.log'; // Must be writable by `www-data` Unix user.
const GITHUB_IGNORED_REPOS = ['tools', 'manual', 'web']; // If we get GitHub push requests featuring these repos, silently ignore instead of returning an error.
?>