[Mediawiki-l] Missing [edit]-Bars in DIVs since Mediawiki1.12.0