"lib/private/navigationmanager.php" did not exist on "0c6dcdba6b890dc170f59a461ab80961a85a53db"