Page MenuHomePhabricator

Extension:NumberFormat / Fatal error: Cannot redeclare number_format_Setup()
Closed, InvalidPublic

Description

Setup

  • MediaWiki 1.31.1 (fe7ffa2) 21. Mär. 2019, 19:54
  • PHP 7.2.16 (cgi-fcgi)
  • MariaDB 10.1.38-MariaDB
  • NumberFormat 0.9.0

Issue

Fatal error: Cannot redeclare number_format_Setup() (previously declared in /../extensions/NumberFormat/NumberFormat.php:46) in /.../extensions/NumberFormat/NumberFormat.php on line 49

I guess this has something to do with using PHP 7.2.x

Event Timeline

Kghbln updated the task description. (Show Details)

What the heck... I included the extension twice in "LocalSettings.php" which obviously will not work. Sorry for the noise.