diff options
author | Christoph Brill <egore911@egore911.de> | 2012-05-26 20:38:45 +0200 |
---|---|---|
committer | Christoph Brill <egore911@egore911.de> | 2012-05-26 20:38:45 +0200 |
commit | 83c5387b07cd5979fc46c50a2af663831877901a (patch) | |
tree | 2725056e7d31e70b3a843ca87b54eb5c3a6d5679 /common.inc.php | |
parent | a07ef27d74a1deccf7977ad03cca2a95810661ae (diff) |
Feature: Ignore several users
Diffstat (limited to 'common.inc.php')
-rw-r--r-- | common.inc.php | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/common.inc.php b/common.inc.php index 023d24a..ef498c7 100644 --- a/common.inc.php +++ b/common.inc.php @@ -121,6 +121,7 @@ $realname['ajax'] = 'Adam Jackson'; $realname['alanc'] = 'Alan Coopersmith'; $realname['anholt'] = 'Eric Anholt'; $realname['calim'] = 'Christoph Bumiller'; +$realname['careym'] = 'Mark Carey'; $realname['chadversary'] = 'Chad Versace'; $realname['cheako'] = 'Mike Mestnik'; $realname['curro'] = 'Francisco Jerez'; @@ -151,4 +152,7 @@ $realname['soreau'] = 'Scott Moreau'; $realname['stereotype441'] = 'Paul Berry'; $realname['stringfellow'] = 'Henry Verbeet'; $realname['suokko'] = 'Pauli Nieminen'; -$realname['tstellar'] = 'Tom Stellard';
\ No newline at end of file +$realname['tstellar'] = 'Tom Stellard'; + +$ignore = array(); +array_push($ignore, 'joss193'); |