Update PHP Decimal extension link to GitHub Pages#90

maks-rafalko wants to merge 1 commit intobrazzy:masterbrazzy/floating-point-gui.de:masterfrom

maks-rafalko:patch-1maks-rafalko/floating-point-gui.de:patch-1Copy head branch name to clipboard