HomeIsabelle/Phabricator

avoid deprecated operations;