diff options
| author | Andreas Gohr <andi@splitbrain.org> | 2013-01-18 10:47:21 +0100 |
|---|---|---|
| committer | Andreas Gohr <andi@splitbrain.org> | 2013-01-18 10:47:21 +0100 |
| commit | cfbb9916556595cd8987f6c79771883dde656185 (patch) | |
| tree | 8e86ff9772783b887fe335bb8a12eeef3a9dc913 | |
| parent | 16c665d9fa1d3d1c5d82866a942ba8cb6db3a4ee (diff) | |
| download | rpg-cfbb9916556595cd8987f6c79771883dde656185.tar.gz rpg-cfbb9916556595cd8987f6c79771883dde656185.tar.bz2 | |
removed unused vars
| -rw-r--r-- | inc/common.php | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/inc/common.php b/inc/common.php index 20e0af389..bc49e76b2 100644 --- a/inc/common.php +++ b/inc/common.php @@ -1105,10 +1105,7 @@ function saveOldRevision($id) { * @author Andreas Gohr <andi@splitbrain.org> */ function notify($id, $who, $rev = '', $summary = '', $minor = false, $replace = array()) { - global $lang; global $conf; - global $INFO; - global $DIFF_INLINESTYLES; // decide if there is something to do, eg. whom to mail if($who == 'admin') { |