<?php
/* The original address. It has no audience of its own, so it still reads
   ?role= and every link made before the list was split keeps working. */
require __DIR__ . '/includes/user_list_engine.php';
