phpbb/phpbb3 — pull request #839 by p (2012-06-11 23:59:43+00:00)
Title: Change user->theme to user->style

Replaces #689.

http://tracker.phpbb.com/browse/PHPBB3-10743