inc/special/tickets.php
Used by Special:Tickets.
Implements a simple Ticket system for the admin users.
Any user having access to special:special can open, comment, resolve and close tickets.
Any of these users can open tickets. Tickets have a title, text (wikitext), are assigned to a user and have a priority (1 high, 2 normal, 3 low).
My Tickets are tickets assigned to the current user.
Any of these users can comment a ticket, reassign it, change the priority and set it to resolved.
The initial creator of the ticket can close a resolved ticket or reopen it.