daily pastebin goal
22%
SHARE
TWEET

Untitled

a guest Apr 16th, 2018 51 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. @function replace($string, $search, $replace: '') {
  2.     $index: str-index($string, $search);
  3.     @return if($index,
  4.     str-slice($string, 1, $index - 1) + $replace + replace(str-slice($string, $index + str-length($search)), $search, $replace),
  5.     $string);
  6. }
RAW Paste Data
Top