Removed 5.3.functions.php. (refs #255)