pkordylewski

// ==UserScript==
// @name        Redmine Title Copy for Commit
// @version     0.1
// @include     https://kunden.redmine.imos.net/*
// @include     https://intern.redmine.imos.net/*
// @require     https://ajax.googleapis.com/ajax/libs/jquery/2.2.4/jquery.min.js
// @grant        none
// ==/UserScript==

var usJQ = $.noConflict(true);

pkordylewski

// ==UserScript==
// @name        Global Page Timer
// @include     *pm.hq.imos.net*
// @include     *redmine.imos.net*
// @version     0.1.0
// @require     https://ajax.googleapis.com/ajax/libs/jquery/2.2.4/jquery.min.js
// @require     https://raw.github.com/odyniec/jQuery-tinyTimer/master/jquery.tinytimer.min.js
// @grant        none
// ==/UserScript==

pkordylewski

<?php

/*
 * Note: This script will directly modify the .php files in the given directory.
 * It is assumed that the code is under version control, so you can easily review
 * the changes using `git diff` or similar.
 */

function usageError() {
    die("Usage: php -d asp_tags=1 portAlternativeTags.php dir/\n");