lib/WikiUser/Forbidden.php

   1 <?php //-*-php-*-
   2 // rcs_id('$Id$');
   3 /* Copyright (C) 2004 ReiniUrban
   4  * This file is part of PhpWiki. Terms and Conditions see LICENSE. (GPL2)
   5  */
   6
   7 /**
   8  * The PassUser name gets created automatically.
   9  * That's why this class is empty, but must exist.
  10  */
  11 class _ForbiddenPassUser
  12 extends _ForbiddenUser
  13 {
  14     function dummy() {
  15         return;
  16     }
  17 }
  18
  19 // Local Variables:
  20 // mode: php
  21 // tab-width: 8
  22 // c-basic-offset: 4
  23 // c-hanging-comment-ender-p: nil
  24 // indent-tabs-mode: nil
  25 // End:
  26 ?>