/**
* Populate the array of starred articles
*/
protected function User__populateStarredArticles(User $user)
{
if ($user->_isset('publish', 'starredarticles') === null) {
$articles = UserArticles::getTable()->getUserStarredArticles($user->getID());
$user->_store('publish', 'starredarticles', $articles);
}
}