Revert import pico-user (PHP 5.4 only)