Advertisement
Guest User

Untitled

a guest
Feb 14th, 2016
42
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.22 KB | None | 0 0
  1. $value['default']['font-family']);
  2.  
  3. $family = isset($option['font']) && $option['font'] ? $option['font'] :
  4. (isset($value['default']['font-family'])?$value['default']['font-family']:
  5. $value['default']['font-family']);
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement