https://bugzilla.redhat.com/show_bug.cgi?id=824703
--- Comment #21 from Jens Petersen petersen@redhat.com --- Ok I see now that this was already pushed to stable.
Anyway you could fix this using a rpm conditional
%if %{fedora} >= 18 BuildRequires: gnome-shell-extension-user-theme %else BuildRequires: gnome-shell-extensions-user-theme %endif
Untested, but something along these lines should work.