/// compatibility module
deprecated("Import userman.controller is deprecated. Please import userman.db.controller instead.")
module userman.controller;
public import userman.db.controller;